| # Use standard security profile. (=> no need for a random number generator) | |
| CONFIG_STDOUT_CONSOLE=y | |
| CONFIG_CONSOLE_HANDLER=y | |
| CONFIG_CONSOLE_HANDLER_SHELL=y | |
| CONFIG_MINIMAL_LIBC_EXTENDED=y | |
| CONFIG_RING_BUFFER=y | |
| CONFIG_KERNEL_EVENT_LOGGER=y | |
| CONFIG_KERNEL_EVENT_LOGGER_DYNAMIC=y | |
| CONFIG_NANO_TIMEOUTS=y | |
| CONFIG_KERNEL_EVENT_LOGGER_BUFFER_SIZE=1000 | |
| CONFIG_KERNEL_EVENT_LOGGER_CONTEXT_SWITCH=y | |
| CONFIG_KERNEL_EVENT_LOGGER_INTERRUPT=y | |
| #CONFIG_SYS_POWER_MANAGEMENT=y | |
| #CONFIG_TICKLESS_IDLE=y | |
| #CONFIG_KERNEL_EVENT_LOGGER_SLEEP=y |