| Index: src/platform/vboot_reference/utils/kernel_image.c
|
| diff --git a/src/platform/vboot_reference/utils/kernel_image.c b/src/platform/vboot_reference/utils/kernel_image.c
|
| index a1b943f83a556fecd489bdf24dca60eb24e582e9..81aa06fdaead884cd6b515b60d7edd393136b593 100644
|
| --- a/src/platform/vboot_reference/utils/kernel_image.c
|
| +++ b/src/platform/vboot_reference/utils/kernel_image.c
|
| @@ -404,6 +404,7 @@ int VerifyKernelHeader(const uint8_t* firmware_key_blob,
|
| kernel_sign_key_len),
|
| FIELD_LEN(header_checksum))) {
|
| Free(header_checksum);
|
| + fprintf(stderr, "VerifyKernelHeader: Invalid header hash\n");
|
| return VERIFY_KERNEL_INVALID_IMAGE;
|
| }
|
| Free(header_checksum);
|
|
|