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
-I../cheriot-rtos/sdk/include/c++-config
-I../cheriot-rtos/sdk/include/libc++
-I../cheriot-rtos/sdk/include/platform/arty-a7
-I../cheriot-rtos/sdk/include/platform/generic-riscv
-I../cheriot-rtos/sdk/include
-I../cheriot-rtos/sdk/include/FreeRTOS-Compat
-I./third_party/freertos
-I./third_party/freertos-plus-tcp/source/include
-I./third_party/BearSSL/inc
-I./third_party/BearSSL/src
-I./third_party/coreSNTP/source/include
-I./third_party/coreMQTT/source/include
-I./third_party/coreMQTT/source/interface
-Ilib/firewall
-Ilib/mqtt
-Ilib/netapi
-Ilib/sntp
-Ilib/tcpip
-Ilib/tls
-Iinclude
-DCHERIOT_RTOS_OPTION_IPv6
-DDEBUG_LOADER=false
-DDEBUG_ALLOCATOR=false
-DDEBUG_SCHEDULER=false
-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