CONFIG_SOC_QEMU_CORTEX_A53=y
CONFIG_BOARD_QEMU_CORTEX_A53=y
CONFIG_ARM_ARCH_TIMER=y
CONFIG_XIP=n

# QEMU settings
CONFIG_SRAM_BASE_ADDRESS=0x40000000
CONFIG_SRAM_SIZE=131072

# Enable UART driver
CONFIG_SERIAL=y
CONFIG_SHARED_IRQ=y

# Enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# Enable serial port
CONFIG_UART_PL011=y
CONFIG_UART_PL011_PORT0=y
CONFIG_UART_INTERRUPT_DRIVEN=y
CONFIG_SHARED_IRQ_0=y
CONFIG_UART_PL011_PORT0_SHARED_IRQ=y
