L4linux IPC communication with L4re application

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Mar 10 00:36:54 CET 2016

On Tue Mar 08, 2016 at 17:05:05 +0100, Ahmed Makkawi wrote:
> I think the solution to the communication of an application on l4linux with
> an application on l4re would be to implement an ipc stream in the character
> device module in the l4linux kernel to communicate with the IPC stream on
> l4re application.
> the Problem now is l4linux modules are in C and the l4re application is in
> C++, is this a good idea to start searching in it or its a dead end and
> maybe someone would have a better idea to work on ?

That's one way of doing it, and yes, one needs to bridge from the Linux
driver to the L4Re world. There are several examples in L4Linux where
Linux drivers use L4 IPC to communicate with L4Re services. Most L4Re
services also have a C interface, exactly for the reason that they can
be used by C code. Doing such a C variant is reasonably easy, look for
example in pkg/l4re-core/l4re_c for how it is done. For Linux drivers,
any under drivers/ directory with 'l4' in the file name should provide
insights how it is used.

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

More information about the l4-hackers mailing list