Barrelfish
|
Data sent to a newly booted kernel. More...
Data Fields | |
uint64_t | boot_magic |
genpaddr_t | cpu_driver_stack |
genpaddr_t | cpu_driver_stack_limit |
genpaddr_t | cpu_driver_globals_pointer |
genvaddr_t | cpu_driver_entry |
char | cpu_driver_cmdline [128] |
genpaddr_t | page_table_root |
struct armv8_coredata_memreg | memory |
struct armv8_coredata_memreg | urpc_frame |
struct armv8_coredata_memreg | monitor_binary |
struct armv8_coredata_memreg | multiboot_image |
uint64_t | start_kernel_ram |
The physical start of allocated kernel memory. | |
uint64_t | start_free_ram |
The physical start of free ram for the bsp allocator. | |
genpaddr_t | kcb |
The kernel control block. | |
Data sent to a newly booted kernel.
uint64_t armv8_core_data::boot_magic |
ARMv8 Boot magic field. Contains the value ARMV8_BOOTMAGIC_*
char armv8_core_data::cpu_driver_cmdline[128] |
CPU driver command line arguments
genvaddr_t armv8_core_data::cpu_driver_entry |
CPU Driver entry point
genpaddr_t armv8_core_data::cpu_driver_globals_pointer |
Physical address of the global data structure shared by all
genpaddr_t armv8_core_data::cpu_driver_stack |
Physical address of the kernel stack
genpaddr_t armv8_core_data::cpu_driver_stack_limit |
Physical address of the kernel stack
struct armv8_coredata_memreg armv8_core_data::memory |
Memory region to be used for the new CPU driver's allocations
struct armv8_coredata_memreg armv8_core_data::monitor_binary |
Memory region to be used for the new CPU driver's allocations
struct armv8_coredata_memreg armv8_core_data::multiboot_image |
memory region of the multiboot image
genpaddr_t armv8_core_data::page_table_root |
Physical address of the L0 page table in memory
struct armv8_coredata_memreg armv8_core_data::urpc_frame |
Memory region to be used for the new CPU driver's allocations