Implementation of backend functions on barrelfish. More...
Implementation of backend functions on barrelfish.