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

["Rafael J. Wysocki" <rjw@rjwysocki.net>]

On Tuesday, February 11, 2014 02:18:46 PM Matt Fleming wrote:
> (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

Firmware bug, but I guess we'll need to work around it.

Adding more CCs.

Thanks!

-- 
I speak only for myself.
Rafael J. Wysocki, Intel Open Source Technology Center.