| CONFIG_TEST=y | |
| CONFIG_SYS_POWER_MANAGEMENT=y | |
| CONFIG_SYS_POWER_DEEP_SLEEP=y | |
| CONFIG_SYS_POWER_LOW_POWER_STATE=y | |
| CONFIG_DEVICE_POWER_MANAGEMENT=y | |
| CONFIG_TICKLESS_IDLE=y | |
| CONFIG_UART_CONSOLE_ON_DEV_NAME="UART_0" | |
| CONFIG_IPM=y | |
| CONFIG_IPM_QUARK_SE=y | |
| # Work around very strange compiler bug #7608 | |
| CONFIG_OUTPUT_DISASSEMBLY=n |