L4Linux update? Driver support

[Adam Lackorzynski]

On Mon Nov 02, 2015 at 18:20:55 +0100, ba_f wrote:
> 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
> (l4re-App).
> Can i just call all the L4-IPC stuff from within the driver?

You can but...

> Is there something special to take care of?

... take care that you use the L4XV_FN* wrappers and also do not block
long when doing calls because that will block L4Linux's vCPU. Best use
some asynchronous way of communication but at least make sure any calls
are replied soonish/immediately.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/