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