| Index: src/platform/vboot_reference/vkernel/include/kernel_image.h
|
| diff --git a/src/platform/vboot_reference/vkernel/include/kernel_image.h b/src/platform/vboot_reference/vkernel/include/kernel_image.h
|
| index 09343ea14e4ea5618d1e1d8d868fad0409c8906b..5c14e45be156b26668e38189f0d13882669c36e5 100644
|
| --- a/src/platform/vboot_reference/vkernel/include/kernel_image.h
|
| +++ b/src/platform/vboot_reference/vkernel/include/kernel_image.h
|
| @@ -115,6 +115,4 @@ int AddKernelKeySignature(KernelImage* image, const char* firmware_key_file);
|
| int AddKernelSignature(KernelImage* image,
|
| const char* kernel_sigining_key_file);
|
|
|
| -void PrintKernelEntry(kernel_entry* entry);
|
| -
|
| #endif /* VBOOT_REFERENCE_KERNEL_IMAGE_H_ */
|
|
|