L4Re - L4 Runtime Environment
|
Initial environment data structure. More...
#include <env.h>
Data Fields | |
l4_cap_idx_t | parent |
Parent object-capability. | |
l4_cap_idx_t | rm |
Region map object-capability. | |
l4_cap_idx_t | mem_alloc |
Memory allocator object-capability. | |
l4_cap_idx_t | log |
Logging object-capability. | |
l4_cap_idx_t | main_thread |
Object-capability of the first user thread. | |
l4_cap_idx_t | factory |
Object-capability of the factory available to the task. | |
l4_cap_idx_t | scheduler |
Object capability for the scheduler set to use. | |
l4_cap_idx_t | first_free_cap |
First capability index available to the application. | |
l4_fpage_t | utcb_area |
UTCB area of the task. | |
l4_addr_t | first_free_utcb |
First UTCB within the UTCB area available to the application. | |
Initial environment data structure.