RADPx-OS Kernel (Radical Posix OS)  Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
rad_kernel_config Member List

This is the complete list of members for rad_kernel_config, including all inherited members.

backend_namerad_kernel_config
boot_inforad_kernel_config