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

# icount does not work well with SMP
CONFIG_QEMU_ICOUNT=n

# We have multiple QEMU-A53 boards, so let us exercise ARMV8_A_NS on this one
# (plus it is needed for SMP)
CONFIG_ARMV8_A_NS=y

# PSCI is supported with NS
CONFIG_PM_CPU_OPS=y

# SMP-related
CONFIG_SMP=y
CONFIG_MP_MAX_NUM_CPUS=2
CONFIG_TIMEOUT_64BIT=y
