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(); |