compile_flags.txt

-xc++-header
-std=c++20
-Qunused-arguments
-target
riscv32-unknown-unknown
-mcpu=cheriot
-mabi=cheriot
-mxcheri-rvc
-mrelax
-fshort-wchar
-nostdinc
-fomit-frame-pointer
-fno-builtin
-fno-exceptions
-fno-asynchronous-unwind-tables
-fno-rtti
-Werror
-Isdk/include/c++-config
-Isdk/include/libc++
-Isdk/include/platform/generic-riscv
-Isdk/include
-DDEBUG_LOADER=true
-DDEBUG_ALLOCATOR=true
-DDEBUG_SCHEDULER=true
-DSAIL
-DCPU_TIMER_HZ=2000
-DTICK_RATE_HZ=10
-DTEMPORAL_SAFETY
-DSOFTWARE_REVOKER
-DSIMULATION
-DDEVICE_EXISTS_shadow
-DDEVICE_EXISTS_uart
-DDEVICE_EXISTS_clint
-DCHERIOT_LOADER_TRUSTED_STACK_SIZE=176
-DCONFIG_THREADS_NUM=3
-DREVOKABLE_MEMORY_START=0x80000000
-DCLANG_TIDY
-DCHERIOT_INTERRUPT_NAMES=FakeInterrupt=4,RevokerInterrupt=5,EthernetReceiveInterrupt=3
-DCHERIOT_EXPOSE_FREERTOS_SEMAPHORE
-DCHERIOT_EXPOSE_FREERTOS_MUTEX
-DCHERIOT_EXPOSE_FREERTOS_RECURSIVE_MUTEX