On Mon, Mar 5, 2012 at 2:45 AM, Ingo Molnar [off-list ref] wrote:

( Cc:-ed Yinghai - he can spot memory layout related bugs with
�amazing efficiency. )

�n/t

* Keith Packard [off-list ref] wrote:

quoted

<#part sign=pgpmime>
On Sat, 03 Mar 2012 16:27:28 -0800, "H. Peter Anvin" [off-list ref] wrote:

quoted

Do you have the dmesg from your MBA? �I'm wondering what the memory map
looks like...

Here's the first part of dmesg from a running kernel (3.3-rc1 plus some
DRM patches). Let me know if I cut this off too soon...

hi, Keith,

What is problem there? your system can not boot with latest kernel
when EFI is used?

Thanks

Yinghai