Paul Menzel writes:
take a look at the Grml live system [1]. The cheatcodes list a `serial` option you can pass to the Linux kernel by adding it the the Linux kernel command line [2].
Thanks,
Paul
[1] http://grml.org/ [2] http://git.grml.org/?p=grml-live.git;a=blob_plain;f=templates/GRML/grml- cheatcodes.txt;hb=HEAD
I managed to boot into grml with serial. I had to hexedit the .iso file to change the isolinux.cfg file to switch on serial output.
I have copied the lspci output. The "lspci -tnvv" is the same except 14.2 (HDA) is missing. But that's because I disabled it in devicetree.cb when I tested some other stuff.
However the "lspci -vvvxx" out differs somewhat and I wonder if there is anything that I should look into. I have attached three file. lspci-vvvxx.txt for coreboot output and lspci-vvvxx_org.txt for vendor bios output and a diff for them.