> [ 0.000000] BIOS-provided physical RAM map: > [ 0.000000] BIOS-e820: 0000000000000000 - 00000000000a0000 (usable) > [ 0.000000] BIOS-e820: 0000000000100000 - 0000000004000000 (usable) > [ 0.000000] end_pfn_map =3D 16384 I don't see any reserved regions. Do reserved regions show up when it works? Thanks, Myles