|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|

Directories | |
| ds | |
| FreeRTOS-Compat | |
| A (mostly complete) compatibility layer for core FreeRTOS APIs. | |
| microvium | |
| priv | |
| revoker | |
Files | |
| __cheri_sealed.h | |
| __compartment-macros.h | |
| Helper macros used by compartment-macros.h. | |
| __debug.h | |
| __macro_map.h | |
| allocator.h | |
| CHERIoT RTOS heap allocator interface. | |
| assembly-helpers.h | |
| Helpers for exposing field offsets and structure sizes into assembly. | |
| assert.h | |
| bitpack.hh | |
| cdefs.h | |
| cheri-builtins.h | |
| cheri.h | |
| C definitions for CHERI specific functionality. | |
| cheri.hh | |
| C++ helpers for operating on capabilities. | |
| compartment-macros.h | |
| Macros for interacting with the compartmentalisation model in CHERIoT. | |
| compartment.h | |
| ctype.h | |
| ASCII-only definition of C standard C functions. | |
| debug.h | |
| debug.hh | |
| C++ APIs for assertions, invariants, and writing formatted debug messages to a UART. | |
| errno.h | |
| event.h | |
| Event-group APIs. | |
| fail-simulator-on-error.h | |
| float.h | |
| float_to_string_helpers.hh | |
| function_wrapper.hh | |
| futex.h | |
| Futex (compare-and-wait) APIs. | |
| interrupt.h | |
| This file describes the interfaces for compartments to wait for interrupts. | |
| inttypes.h | |
| limits.h | |
| locks.h | |
| C compatible interface to synchronisation primitives. | |
| locks.hh | |
| C++ wrappers for synchronisation primitives. | |
| multiwaiter.h | |
| This file provides interfaces to the multi-waiter system. | |
| queue.h | |
| This file contains the interface for a simple message queue. | |
| randombytes.h | |
| API for accessing a shared entropy source in the randombytes compartment. | |
| ring_buffer.hh | |
| riscvreg.h | |
| setjmp-assembly.h | |
| setjmp.h | |
| simulator.h | |
| stdalign.h | |
| stdarg.h | |
| stdatomic.h | |
| This file implements the C11 and C++23 C atomics interfaces. | |
| stdbool.h | |
| stddef.h | |
| stdint.h | |
| stdio.h | |
| stdlib.h | |
| stdnoreturn.h | |
| string.h | |
| strings.h | |
| switcher.h | |
| APIs for interacting with the switcher. | |
| thread.h | |
| Functions and types used for thread management. | |
| thread_pool.h | |
| APIs for an example thread pool. | |
| tick_macros.h | |
| time.h | |
| timeout.h | |
| This file contains the types used for timeouts across scheduler APIs. | |
| timeout.hh | |
| token.h | |
| APIs for dealing with type-safe opaque handles (sealed objects). | |
| unwind-assembly.h | |
| unwind.h | |
| APIs for synchronously handling traps. | |
| utils.hh | |
| Miscellaneous utility functions and classes. | |