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_core_info Struct Reference

Public data structure for rad_core_info. More...

#include <radkernel.h>

Public Attributes

uint32_t detected_cores
 Public structure field.
 
uint32_t worker_cores
 Public structure field.
 
uint32_t service_core
 Public structure field.
 
uint32_t worker_running_mask
 Public structure field.
 

Detailed Description

Public data structure for rad_core_info.

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