|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Type used to define space for storing any of the exposed FreeRTOS semaphore types. More...
#include <semphr.h>

Public Attributes | |
| union { | |
| struct RecursiveMutexState recursiveMutex | |
| struct FlagLockState mutex | |
| struct CountingSemaphoreState semaphore | |
| }; | |
| The state for the various kinds of FreeRTOS semaphores. | |
| enum CheriotFreeRTOS_SemaphoreKind | kind |
| The discriminator for the union above. | |
Type used to define space for storing any of the exposed FreeRTOS semaphore types.
| enum CheriotFreeRTOS_SemaphoreKind StaticSemaphore_t::kind |
| struct FlagLockState StaticSemaphore_t::mutex |
| struct RecursiveMutexState StaticSemaphore_t::recursiveMutex |
| struct CountingSemaphoreState StaticSemaphore_t::semaphore |