L4Linux update? Driver support

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Nov 2 00:28:31 CET 2015

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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list