Can you please suggest a simple kernel service(like ipc) which is not present in l4re but already existing in linux?