L4Re – L4 Runtime Environment
+ Collaboration diagram for L4Re Capability API: