| CONFIG_ARM_ARCH_TIMER=y | |
| CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y | |
| CONFIG_QEMU_ICOUNT=n | |
| CONFIG_ARMV8_A_NS=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 |