[coreboot] Samsung 550 Chromebook own Coreboot

Aaron Durbin adurbin at chromium.org
Mon Jul 29 15:43:19 CEST 2013


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



More information about the coreboot mailing list