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