L4Linux update? Driver support

[Adam Lackorzynski]

On Tue Oct 27, 2015 at 18:24:58 +0100, ba_f wrote:
> is there any milestone date for a new L4Linux?

It's getting closer but there are also plenty other things to do.
 
> 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?

Depends on the driver, can be simple, could be impossible.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/