| 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 96c8f256964f238cc58c3191a473738034cd26a1..7c7b16f17e04770f7b108541220d91c57714f750 100644
|
| --- a/src/platform/vboot_reference/include/kernel_image.h
|
| +++ b/src/platform/vboot_reference/include/kernel_image.h
|
| @@ -80,6 +80,15 @@ KernelImage* ReadKernelImage(const char* input_file);
|
| /* Get the length of the header for kernel image [image]. */
|
| int GetKernelHeaderLen(const KernelImage* image);
|
|
|
| +/* Calculate and store the kernel header checksum of [image]
|
| + * in [header_checksum].
|
| + *
|
| + * [header_checksum] must be a valid pointer to a buffer of
|
| + * SHA512_DIGEST_SIZE.
|
| + */
|
| +void CalculateKernelHeaderChecksum(const KernelImage* image,
|
| + uint8_t* header_checksum);
|
| +
|
| /* Get kernel header binary blob from an [image].
|
| *
|
| * Caller owns the returned pointer and must Free() it.
|
|
|