L4Linux update? Driver support

ba_f ba_f at rbg.informatik.tu-darmstadt.de
Mon Nov 2 18:20:55 CET 2015

Am 2015-11-02 00:28, schrieb Adam Lackorzynski:
> 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

Alrighty then,

i guess i can back-port the stuff needed.

Now, about Drivers:

I want to write a L4Linux Driver that communicates with another L4-Task 
Can i just call all the L4-IPC stuff from within the driver?
Is there something special to take care of?



More information about the l4-hackers mailing list