Hi, 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. -- Matthias Lange, matthias.lange@kernkonzept.com, +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth