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