On Mon, 2013-07-29 at 15:19 +0100, John Lewis wrote:
Where do I find/build cbmem binary?
Please find attached dmesg.
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)