| -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 |