RADPx-OS Kernel (Radical Posix OS)  Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
radboot.h
Go to the documentation of this file.
1 
6 #ifndef RADBOOT_H
7 #define RADBOOT_H
8 
9 #include <radkernel/radkernel.h>
10 
11 #ifdef __cplusplus
12 extern "C" {
13 #endif
14 
16 void radboot_prepare_default(rad_boot_info_t *boot, const char *backend, const char *board, const char *console, const char *sd_mode);
18 void radboot_add_memory_region(rad_boot_info_t *boot, const char *name, uint64_t base, uint64_t size, uint32_t type, uint32_t flags);
20 void radboot_add_arg(rad_boot_info_t *boot, const char *key, const char *value);
21 
23 void radboot_prepare_rp235x(rad_boot_info_t *boot, const char *board, const char *sd_mode);
25 void radboot_prepare_circle(rad_boot_info_t *boot, const char *board, const char *sd_mode);
27 void radboot_prepare_bcm283x(rad_boot_info_t *boot, const char *board, const char *sd_mode);
29 void radboot_prepare_pi_handoff(rad_boot_handoff_t *handoff, const char *payload_name, uintptr_t payload_base, uintptr_t payload_size, uintptr_t payload_entry);
31 rad_status_t radboot_validate_handoff(const rad_boot_handoff_t *handoff);
32 
33 #ifdef __cplusplus
34 }
35 #endif
36 
37 #endif
radboot_prepare_rp235x
void radboot_prepare_rp235x(rad_boot_info_t *boot, const char *board, const char *sd_mode)
Fill boot defaults for RP235x targets.
radboot_prepare_bcm283x
void radboot_prepare_bcm283x(rad_boot_info_t *boot, const char *board, const char *sd_mode)
Fill boot defaults for the standalone RAD-owned BCM283x Raspberry Pi backend.
radboot_prepare_circle
void radboot_prepare_circle(rad_boot_info_t *boot, const char *board, const char *sd_mode)
Fill boot defaults for Circle-backed Raspberry Pi targets.
radboot_add_memory_region
void radboot_add_memory_region(rad_boot_info_t *boot, const char *name, uint64_t base, uint64_t size, uint32_t type, uint32_t flags)
Append a memory region to a boot info record when capacity remains.
radboot_validate_handoff
rad_status_t radboot_validate_handoff(const rad_boot_handoff_t *handoff)
Validate a RADPx-OS boot handoff record before entering the standalone kernel.
radboot_add_arg
void radboot_add_arg(rad_boot_info_t *boot, const char *key, const char *value)
Append a key/value boot argument to a boot info record when capacity remains.
radboot_prepare_default
void radboot_prepare_default(rad_boot_info_t *boot, const char *backend, const char *board, const char *console, const char *sd_mode)
Initialize a boot info record with common backend, board, console, and SD mode strings.
radboot_prepare_pi_handoff
void radboot_prepare_pi_handoff(rad_boot_handoff_t *handoff, const char *payload_name, uintptr_t payload_base, uintptr_t payload_size, uintptr_t payload_entry)
Initialize a RADPx-OS boot handoff record with Pi Zero 2 W defaults.
radkernel.h
Portable RADPx-OS kernel service ABI for RADLib and RADPx-OS targets.
rad_status_t
enum rad_status rad_status_t
Public enumeration for rad_status.
rad_boot_handoff
Public data structure for rad_boot_handoff.
Definition: radkernel.h:494
rad_boot_info
Public data structure for rad_boot_info.
Definition: radkernel.h:477