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
-Icheriot-rtos/sdk/include/c++-config
-Icheriot-rtos/sdk/include/libc++
-Icheriot-rtos/sdk/include/platform/sunburst
-Icheriot-rtos/sdk/include/platform/generic-riscv
-Icheriot-rtos/sdk/include
-DDEBUG_LOADER=true
-DDEBUG_ALLOCATOR=true
-DDEBUG_SCHEDULER=true
-DCPU_TIMER_HZ=30000000
-DTICK_RATE_HZ=10
-DTEMPORAL_SAFETY
-DSOFTWARE_REVOKER
-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=Uart1TxWatermark=9,Uart1RxWatermark=10,EthernetReceiveInterrupt=3,EthernetInterrupt=47
-DCHERIOT_EXPOSE_FREERTOS_SEMAPHORE
-DCHERIOT_EXPOSE_FREERTOS_MUTEX
-DCHERIOT_EXPOSE_FREERTOS_RECURSIVE_MUTEX