L4Re - L4 Runtime Environment
Low-Level Thread Functions
+ Collaboration diagram for Low-Level Thread Functions: