Can you please suggest a simple kernel service(like ipc) which is not present in l4re but already existing in linux? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150127/aa3e7348/attachment.html>