| 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_ */
|
|
|