L4Re – L4 Runtime Environment
Kernel Interface Page API
+ Collaboration diagram for Kernel Interface Page API:

Files

file  kip.h
 

Detailed Description