L4Re Operating System Framework
Interface and Usage Documentation
|
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. | |
l4re_env_cap_entry_t * | caps |
Pointer to the first entry in the initial objects array which contains l4re_env_cap_entry_t elements. | |
Initial environment data structure.
l4re_env_cap_entry_t* l4re_env_t::caps |
Pointer to the first entry in the initial objects array which contains l4re_env_cap_entry_t elements.
The array is terminated by an invalid entry with a flags
value of ~0
.
Definition at line 126 of file env.h.
Referenced by L4Re::Env::initial_caps(), and L4Re::Env::initial_caps().