L4Linux update? Driver support

ba_f ba_f at rbg.informatik.tu-darmstadt.de
Tue Oct 27 18:24:58 CET 2015


Hello,


is there any milestone date for a new L4Linux?

I need a driver from Linux Kernel 3.19 (or higher).

What would be best practice for this?
Porting 3.19 to l4linux isn't that trivial, is it?
Or can i backport the driver to current l4linux?



thanks,

ba_f



More information about the l4-hackers mailing list