Barrelfish
Data Fields
x86_core_data Struct Reference

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.
 

Detailed Description

Data sent to a newly booted kernel.


The documentation for this struct was generated from the following file: