|
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_info. More...
#include <radkernel.h>
Collaboration diagram for rad_boot_info:Public Attributes | |
| uint32_t | size |
| Public structure field. | |
| uint32_t | version |
| Public structure field. | |
| char | backend [RAD_BOOT_MAX_STRING] |
| Public structure field. | |
| char | board [RAD_BOOT_MAX_STRING] |
| Public structure field. | |
| char | console_device [RAD_BOOT_MAX_STRING] |
| Public structure field. | |
| char | sd_mode [RAD_BOOT_MAX_STRING] |
| Public structure field. | |
| uintptr_t | fdt_pointer |
| Public structure field. | |
| uintptr_t | initrd_pointer |
| Public structure field. | |
| uint32_t | boot_flags |
| Public structure field. | |
| uint32_t | memory_region_count |
| Public structure field. | |
| rad_boot_memory_region_t | memory_regions [RAD_BOOT_MAX_MEMORY_REGIONS] |
| Public structure field. | |
| uint32_t | arg_count |
| Public structure field. | |
| rad_boot_arg_t | args [RAD_BOOT_MAX_ARGS] |
| Public structure field. | |
Public data structure for rad_boot_info.