| CONFIG_BUILD_WITH_TFM=y | |
| CONFIG_TFM_PROFILE_TYPE_NOT_SET=y | |
| CONFIG_TFM_IPC=y | |
| CONFIG_REBOOT=y | |
| # The Zephyr CMSIS emulation assumes that ticks are ms, currently | |
| CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000 | |
| CONFIG_MAIN_STACK_SIZE=4096 | |
| CONFIG_HEAP_MEM_POOL_SIZE=4096 |