mlange at sec.t-labs.tu-berlin.de
Tue Aug 7 08:36:18 CEST 2012
On Mon, Aug 06, 2012 at 04:47:36PM -0700, Wajidali Whowe wrote:
> I prepared another iso image including only l4linux and a small file system prepared by the buildroot (including busybox).
> the .devs file was exactly the same as the one that I sent before and similarly the .vbus file. The following is the outputs during bootup until fb-drv takes the console: (moreover I wanted to show also dmesg outputs after boot and "lspci" or "mdev -s" outputs after mounting the /proc and /sys", however I could not copy them from qemu or virtual box as I could not activate serial console, please kindly find the screenshots in the respective order for the dmesg outputs" and sorry for the high load of debug outputs...)
Have you tried the "-serial stdio" option? I cannot see anything PCI or e1000
related in the L4Linux log. Can you post the result of "grep PCI .config" and
"grep E1000 .config" from your L4Linux config?
Dipl.-Inf. Matthias Lange <mlange at sec.t-labs.tu-berlin.de>
Security in Telecommunications
TU Berlin / Telekom Innovation Laboratories
Ernst-Reuter-Platz 7, 10587 Berlin
Phone: +49 - 30 - 8353 58 553
Mobile: +49 - 160 - 587 28 07
More information about the l4-hackers