L4Re - L4 Runtime Environment
DMA API for L4Re