| -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,EthernetInterrupt=47 |
| -DCHERIOT_EXPOSE_FREERTOS_SEMAPHORE |
| -DCHERIOT_EXPOSE_FREERTOS_MUTEX |
| -DCHERIOT_EXPOSE_FREERTOS_RECURSIVE_MUTEX |
