|
RADPx-OS Kernel (Radical Posix OS)
Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
|
Public data structure for rad_boot_handoff. More...
#include <radkernel.h>
Collaboration diagram for rad_boot_handoff:Public Attributes | |
| uint32_t | magic |
| Public structure field. | |
| uint32_t | version |
| Public structure field. | |
| uint32_t | size |
| Public structure field. | |
| uint32_t | flags |
| Public structure field. | |
| rad_boot_info_t | boot |
| Public structure field. | |
| uintptr_t | kernel_image_base |
| Public structure field. | |
| uintptr_t | kernel_image_size |
| Public structure field. | |
| uintptr_t | kernel_entry |
| Public structure field. | |
| uintptr_t | stack_base |
| Public structure field. | |
| uintptr_t | stack_size |
| Public structure field. | |
| uintptr_t | fdt_pointer |
| Public structure field. | |
| uintptr_t | initrd_pointer |
| Public structure field. | |
| uintptr_t | peripheral_base |
| Public structure field. | |
| uintptr_t | mailbox_base |
| Public structure field. | |
| uintptr_t | local_interrupt_base |
| Public structure field. | |
| uintptr_t | arm_memory_base |
| Public structure field. | |
| uintptr_t | arm_memory_size |
| Public structure field. | |
| uint32_t | board_id |
| Public structure field. | |
| uint32_t | entry_el |
| Public structure field. | |
| uint32_t | core_count |
| Public structure field. | |
| uint32_t | parked_core_mask |
| Public structure field. | |
| char | payload_name [RAD_BOOT_MAX_STRING] |
| Public structure field. | |
Public data structure for rad_boot_handoff.