Barrelfish
|
Data sent to a newly booted kernel. More...
Data Fields | |
uint32_t | multiboot_flags |
The multiboot flags of the cpu module. | |
struct x86_coredata_elf | elf |
elf structure for the cpu module | |
genpaddr_t | module_start |
The start of the cpu module. | |
genpaddr_t | module_end |
The end of the cpu module. | |
genpaddr_t | kcb |
The kernel control block, this should fully replace x86_core_data at some point. | |
Data sent to a newly booted kernel.