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 <[email protected]> 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? > > John. > > > > -- > coreboot mailing list: [email protected] > http://www.coreboot.org/mailman/listinfo/coreboot -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot

