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