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