diff --git a/text/compile_flags_c.txt b/text/compile_flags_c.txt new file mode 100644 index 0000000..e3ce540 --- /dev/null +++ b/text/compile_flags_c.txt @@ -0,0 +1,42 @@ +-xc +-std=c2x +-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../rtos-source/sdk/include/c++-config +-I../rtos-source/sdk/include/libc++ +-I../rtos-source/sdk/include/platform/generic-riscv +-I../rtos-source/sdk/include +-I../rtos-source/sdk/third_party +-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