Re: [coreboot] Samsung 550 Chromebook own Coreboot

[John Lewis]

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.

Samsung 550 Chromebook own Coreboot

[Aaron Durbin]

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  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.