| 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 |