Collaboration diagram for bootinfo:
Data Fields | |
| uint64_t | host_msg |
| For k1om | |
| size_t | regions_length |
| Number of entries in regions array. | |
| size_t | mem_spawn_core |
| Amount of memory required to spawn another core. | |
| struct mem_region | regions [] |
| Memory regions array. | |
Detailed Description
This structure holds essential information for the init process to allocate and manage its address space.
The documentation for this struct was generated from the following file:
- include/barrelfish_kpi/init.h
