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