|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
A (mostly complete) compatibility layer for core FreeRTOS APIs.
More...
Files | |
| event_groups.h | |
| FreeRTOS event-group compatibility APIs. | |
| FreeRTOS.h | |
| FreeRTOS porting layer. | |
| FreeRTOS_errno.h | |
| FreeRTOS-compatible errno values. | |
| queue.h | |
| FreeRTOS queue compatibility APIs. | |
| semphr.h | |
| FreeRTOS semaphore compatibility layer. | |
| stream_buffer.h | |
| FreeRTOS stream compatibility APIs. | |
| task.h | |
| Minimal FreeRTOS task compatibility APIs. | |
A (mostly complete) compatibility layer for core FreeRTOS APIs.
This directory contains a (mostly compelte) compatibility layer for core FreeRTOS APIs. Just add this directory to your include path and your code should compile without changes. For guidance on porting code from FreeRTOS see the programmers' guide.