| CONFIG_SOC_QEMU_CORTEX_A53=y | |
| CONFIG_BOARD_QEMU_CORTEX_A53=y | |
| CONFIG_ARM_ARCH_TIMER=y | |
| # Cache management | |
| CONFIG_CACHE_MANAGEMENT=y | |
| # Enable UART driver | |
| CONFIG_SERIAL=y | |
| # Enable console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # Enable serial port | |
| CONFIG_UART_INTERRUPT_DRIVEN=y | |
| # Avoid timing skew in tests | |
| CONFIG_QEMU_ICOUNT=y | |
| CONFIG_QEMU_ICOUNT_SHIFT=4 | |
| CONFIG_QEMU_ICOUNT_SLEEP=y |