L4Linux update? Driver support
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
More information about the l4-hackers