Re: [BUG] can't boot up: unable to handle kernel paging request at ffffffffff340003

Matt Fleming
2014-02-11T14:18:46Z

(Entering the realm of ACPI, pulling in more folks)

On Tue, 11 Feb, at 09:47:57PM, Madper Xie wrote:
> Thanks for your reply. I attached the all the dmesg outputs for you.
> [ 0.000000] ACPI: BGRT 00000000d9bb5100 00003C (v00 HPQOEM SLIC-BPC 01072009 AMI 00010013)

Your BGRT table has an extra 4 bytes for some reason, (0x3C should be
0x38) and doesn't match the defintion in include/acpi/actbl3.h,

struct acpi_table_bgrt {
struct acpi_table_header header; /* Common ACPI table header */
u16 version;
u8 status;
u8 image_type;
u64 image_address;
u32 image_offset_x;
u32 image_offset_y;
};

which explains why when we dereference ->image_address we don't get a
sensible value.

Guys, what do you make of this? Firmware bug? Full thread here,

http://article.gmane.org/gmane.linux.kernel.efi/3499

--
Matt Fleming, Intel Open Source Technology Center