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
Can you please suggest a simple kernel service(like ipc) which is not
present in l4re but already existing in linux?
___
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers