Ethernet device

Matthias Lange mlange at
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>
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 mailing list