L4Re - L4 Runtime Environment
+ Collaboration diagram for Realtime API: