FLIPS NIC Driver

[Leon]

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