#include <env.h>
Data Fields | |
| l4env_system_info_t | sys_info |
| system info (proz, mem) | |
| l4env_version_info_t | ver_info |
| kernel info (ver, arch) | |
| l4_uint32_t | num_threads |
| # of threads used by task | |
| l4_uint32_t | stack_size |
| size of stack | |
| l4_addr_t | vm_low |
| virtual memory start addr | |
| l4_addr_t | vm_high |
| virtual memory end address | |
| l4_threadid_t | names_id |
| root name server | |
| l4_threadid_t | memserv_id |
| default memory server | |
| l4_threadid_t | taskserv_id |
| default task server | |
| l4_threadid_t | fprov_id |
| file provider (tftp...) | |
| l4_threadid_t | loader_id |
| loader | |
| l4_threadid_t | parent_id |
| parent | |
| l4_threadid_t | image_dm_id |
| dm for file image | |
| l4_threadid_t | text_dm_id |
| dm for text segment | |
| l4_threadid_t | data_dm_id |
| dm for data segment | |
| l4_threadid_t | stack_dm_id |
| dm for stack segment | |
| l4_addr_t | entry_1st |
| program entry (libloader) | |
| l4_addr_t | entry_2nd |
| program entry (libl4env) | |
| int | section_num |
| # of program sections | |
| l4exec_section_t | section [64] |
| program section descs | |
| l4_addr_t | addr_libloader |
| reloc address | |
| l4_addr_t | stack_low |
| low bound of thread stack | |
| l4_addr_t | stack_high |
| high bound of thread stack | |
| char | binpath [256] |
| default bin path | |
| char | libpath [256] |
| default lib path | |
| l4_addr_t | addr_mb_info |
| pointer to mb_info | |
| l4_addr_t | interp |
| pointer to interpreter | |
| l4_addr_t | phdr |
| pointer to program headers | |
| l4_uint32_t | phnum |
| number of program headers | |
| int | num_init_fn |
| l4_addr_t | init_fn [64] |
| dynamic[DT_INIT] of shlibs | |
| l4env_loader_info_t | loader_info |
| loader info for app | |
| l4_uint32_t | magic |
| must be 0x7634456e | |