Can you provide the full firmware log and dmesg? 'cbmem -l' should
give you the firmware log.
On Sun, Jul 28, 2013 at 7:47 AM, John Lewis <jlewis(a)johnlewis.ie> wrote:
Guys, I have noticed that not all the 4 GB or RAM is
showing, and I get this
message in the kernel:
[ 0.000000] Memory: 1914260k/4200448k available (6486k kernel code,
2160136k absent, 126052k reserved, 6780k data, 1412k init)
Any idea what the problem is (mrc.bin), and what I might do to workaround?
coreboot mailing list: coreboot(a)coreboot.org