| # 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_TASK_MONITOR=y |
| CONFIG_TASK_MONITOR_MASK=6 |
| 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=7000 |
| 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 |
| CONFIG_UART_QMSI_1_BAUDRATE=2000000 |
| CONFIG_ARC_INIT=n |
| CONFIG_KERNEL_EVENT_LOGGER_CUSTOM_TIMESTAMP=y |
| CONFIG_RTC=y |
