|
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.
1.8.11