L4Linux update? Driver support

ba_f <[email protected]> Tue, 27 Oct 2015 18:24:58 +0100

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

Hello,


is there any milestone date for a new L4Linux?

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?



thanks,

ba_f

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.