RADPx-OS Kernel (Radical Posix OS)  Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
Public Attributes | List of all members
rad_boot_memory_region Struct Reference

Public data structure for rad_boot_memory_region. More...

#include <radkernel.h>

Public Attributes

uint64_t base
 Public structure field.
 
uint64_t size
 Public structure field.
 
uint32_t type
 Public structure field.
 
uint32_t flags
 Public structure field.
 
char name [RAD_BOOT_MAX_STRING]
 Public structure field.
 

Detailed Description

Public data structure for rad_boot_memory_region.

The documentation for this struct was generated from the following file: