L4Re Operating System Framework
Interface and Usage Documentation
|
Auxiliary descriptor. More...
#include <l4aux.h>
Data Fields | |
char const * | binary |
Binary name. | |
l4_cap_idx_t | kip_ds |
Data space of the KIP. | |
l4_umword_t | dbg_lvl |
Debug levels for l4re. | |
l4_umword_t | ldr_flags |
Flags for l4re, see l4re_aux_ldr_flags_t. | |
l4_addr_t | ldr_base |
Load offset of executable. | |