On Mon, Aug 06, 2012 at 02:35:02AM -0700, Wajidali Whowe wrote:
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.
In case of a PCI device you simply add that to the respective vbus and compile the corresponding driver into L4Linux. Make sure to activate the virtual PCI bus driver in L4Linux.
Matthias.
Best Regards
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers