On Wed, Jun 26, 2013 at 3:58 PM, Stefan Tauner stefan.tauner@student.tuwien.ac.at wrote:
One thing he did not mention is that cbmem seems to not work on his device. I don't know anything about cbmem but I looked into it a bit. mapping the first address (0) works fine, but cbmem does not find anything there and the mapping of the second address (0xf0000) fails then with: Looking for coreboot table at f0000 Mapping 1MB of physical memory at 0xf0000.
any ideas why this could happen?
Could someone post the full serial log from the boot? I could take a look then.
-Aaron