Hi,
On 03/05/2012 10:41 AM, Tobias Fink wrote: [...]
The board is a custom board with very little documentation. I have some Linux drivers for the connected hardware. Is it possible to use them with L4Linux or would I have to get/write drivers for L4 itself?
In general it is possible to let L4Linux drive devices directly. You need to give L4Linux access to the device in the respective io configuration and make the driver run within L4Linux.
Regards, Matthias.
Sorry about these very basic questions. I've just started working with L4.
Regards Tobi
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers