On Thu, Jan 05, 2012 at 06:11:34PM +0100, Elisenda Cuadros wrote:
I tried what you said and I can see the following:
6: 00000000ff000000 - 0000000100000000 = 2 RESERVED a b c d addr=0x00007000 len=89000
coreboot-4.0-1929-g79cfe7e-dirty Thu Jan 5 17:41:55 CET 2012 starting...
Debug level of SeaBIOS is set to 10.
Well, you could comment out the memset() command and see how far it gets. I suspect though that it will just crash somewhere else. I think you'll need to ask on the coreboot mailing list.