Helmuth,
There exists a package that uses dde_linux to run Linux NIC drivers on L4, but unfortunately it's not in our public CVS up to now.
^^^^^^^^^ Does this mean that you will add it to the public CVS? Can you?
(see above) I think you have to hack a bit to get it running. Which NIC do you want to use (Linux driver file)? Maybe I could help you.
I was hoping that FLIPS would guide me in this choice but most probably the Intel e1000.
Thanks Leon