| Index: src/platform/vboot_reference/vboot_firmware/linktest/main.c
|
| diff --git a/src/platform/vboot_reference/vboot_firmware/linktest/main.c b/src/platform/vboot_reference/vboot_firmware/linktest/main.c
|
| index d713ff7c2870ab5fb85b03bfe3b21cb184733694..cb7c5a9b79896d1fbc6e868c79f38e23fa822919 100644
|
| --- a/src/platform/vboot_reference/vboot_firmware/linktest/main.c
|
| +++ b/src/platform/vboot_reference/vboot_firmware/linktest/main.c
|
| @@ -32,7 +32,7 @@ int main(void)
|
| VerifyKernelDriver_f(0, 0, 0, 0);
|
|
|
| // load_kernel_fw.h
|
| - // FIXME: LoadKernel(0);
|
| + LoadKernel(0);
|
|
|
| // rollback_index.h
|
| SetupTPM();
|
|
|