L4Re – L4 Runtime Environment
Kernel Interface Page

Kernel Interface Page. More...

+ Collaboration diagram for Kernel Interface Page:

Modules

 Fiasco-UX Virtual devices
 Virtual hardware devices, provided by Fiasco-UX.
 
 Memory descriptors (C version)
 C Interface for KIP memory descriptors.
 

Data Structures

struct  l4_kernel_info_t
 L4 Kernel Interface Page. More...
 
class  L4::Kip::Mem_desc
 Memory descriptors stored in the kernel interface page. More...
 

Typedefs

typedef struct l4_kernel_info_t l4_kernel_info_t
 L4 Kernel Interface Page.
 
typedef struct l4_kernel_info_t l4_kernel_info_t
 L4 Kernel Interface Page.
 

Detailed Description

Kernel Interface Page.

C interface for the Kernel Interface Page:

C++ interface for the Kernel Interface Page:

Include File
#include <l4/sys/kip>
Include File
#include <l4/sys/kip.h>
Kernel Info Page access functions.