Besides the IPC framework, the daemon bridge will be the second user of these functions.
This repository contains the Linux-specific implementation of Genode.