Re: L4Linux update? Driver support
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/