Vboot Reference: Kernel Boot signing utility.

src/platform/vboot_reference/include/kernel_image.h

Index: src/platform/vboot_reference/include/kernel_image.h
diff --git a/src/platform/vboot_reference/include/kernel_image.h b/src/platform/vboot_reference/include/kernel_image.h
index 4fb79ac13d7cfdaf4b4b93174532b256a22b94d4..a76aaf8d054e6d864747d65381cb96ed10f8ca39 100644
--- a/src/platform/vboot_reference/include/kernel_image.h
+++ b/src/platform/vboot_reference/include/kernel_image.h
@@ -74,6 +74,9 @@ void KernelImageFree(KernelImage* image);
  */
 KernelImage* ReadKernelImage(const char* input_file);
 
+/* Get the length of the header for kernel image [image]. */
+int GetKernelHeaderLen(const KernelImage* image);
+
 /* Get kernel header binary blob from an [image].
  *
  * Caller owns the returned pointer and must Free() it.
@@ -115,7 +118,7 @@ void PrintKernelImage(const KernelImage* image);
 #define VERIFY_KERNEL_WRONG_MAGIC 6
 #define VERIFY_KERNEL_MAX 7  /* Generic catch-all. */
 
-char* kVerifyKernelErrors[VERIFY_KERNEL_MAX];
+extern char* kVerifyKernelErrors[VERIFY_KERNEL_MAX];
 
 /* Checks for the sanity of the kernel header pointed by [kernel_header_blob].
  * If [dev_mode] is enabled, also checks the firmware key signature using the