On Mon, 2013-07-29 at 15:19 +0100, John Lewis wrote: > Where do I find/build cbmem binary? > > Please find attached dmesg.
Hi I have same issue. Only about 2Gib of 4GiB installed shows. I had not noticed this until You pointed this out. Looks like a problem with the last entry coreboot creates in e820 memory map. This is from your dmesg, I see same with (close to) current master. [ 0.000000] BIOS-e820: [mem 0x0000000100000000-0x00000001005fffff] usable The coreboot image my Samsung 550 originally shipped with had this: [ 0.000000] BIOS-e820: 0000000100000000 - 000000014fe00000 (usable) Kyösti -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot

