Re: L4Linux update? Driver support

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