Ethernet device

[Wajidali Whowe]

Dear all, 

I have been working on running different linux based OSs on top of L4.
Is there any documentation or tutorial where I might find information on how to make platform devices available for the linux OS running on top of L4. For instance, I could not get ethernet devices detected by the OS. 

Best Regards
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120806/6408e3c8/attachment.html>