CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
include Directory Reference
Directory dependency graph for include:
sdk/include

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.