L4Re – L4 Runtime Environment
|
Kernel Interface Page. More...
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. | |
Kernel Interface Page.
C interface for the Kernel Interface Page:
C++ interface for the Kernel Interface Page: