| CONFIG_SOC_QEMU_CORTEX_A53=y | |
| CONFIG_BOARD_QEMU_CORTEX_A53=y | |
| CONFIG_ARM_ARCH_TIMER=y | |
| CONFIG_XIP=n | |
| CONFIG_QEMU_ICOUNT_SHIFT=4 | |
| # Enable UART driver | |
| CONFIG_SERIAL=y | |
| # Enable console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # PSCI is supported | |
| CONFIG_ARM_PSCI=y | |
| # Enable serial port | |
| CONFIG_UART_PL011=y | |
| CONFIG_UART_PL011_PORT0=y | |
| CONFIG_UART_INTERRUPT_DRIVEN=y |