On 07/30/14 12:58, Borislav Petkov wrote: > On Wed, Jul 30, 2014 at 10:21:26AM -0700, H. Peter Anvin wrote: >> Arguably the exactness is available in the range... > > ... and the size too. FWIW, other region dumps don't even print size: > > [ 0.000000] e820: BIOS-provided physical RAM map: > [ 0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000009e7ff] usable > [ 0.000000] BIOS-e820: [mem 0x000000000009e800-0x000000000009ffff] reserved > [ 0.000000] BIOS-e820: [mem 0x00000000000e0000-0x00000000000fffff] reserved > ... > > If we do that too for UEFI, we can certainly put an end to the > bikeshedding... provided everyone is tired of it by now. :-P Yes, please. (I'm tired and I barely got started ;) -- ~Randy -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html