Matthias Lange matthias.lange at
Wed Jan 28 08:54:39 CET 2015


On 01/27/2015 11:42 AM, Sushma Rao wrote:
> Can you please suggest a simple kernel service(like ipc) which is not
> present in l4re but already existing in linux?

In a microkernel system you usually don't implement additional services
in the kernel. You implement your service as a user space component.


Matthias Lange, matthias.lange at, +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth

More information about the l4-hackers mailing list