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 -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- 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