Index: vboot_firmware/lib/include/vboot_kernel.h |
diff --git a/vboot_firmware/lib/include/vboot_kernel.h b/vboot_firmware/lib/include/vboot_kernel.h |
index ffe417c3f2e1253be657036d367c2063ab902379..03b640a1fb18a8049ef63709e57a4188cdc9a0c1 100644 |
--- a/vboot_firmware/lib/include/vboot_kernel.h |
+++ b/vboot_firmware/lib/include/vboot_kernel.h |
@@ -12,7 +12,6 @@ |
#include <stdint.h> |
#include "cgptlib.h" |
-#include "load_kernel_fw.h" |
/* Allocates and reads GPT data from the drive. The sector_bytes and |
* drive_sectors fields should be filled on input. The primary and |
@@ -25,7 +24,4 @@ int AllocAndReadGptData(GptData* gptdata); |
* buffers. */ |
int WriteAndFreeGptData(GptData* gptdata); |
-/* Alternate LoadKernel() implementation; see load_kernel_fw.h */ |
-int LoadKernel2(LoadKernelParams* params); |
- |
#endif /* VBOOT_REFERENCE_VBOOT_KERNEL_H_ */ |