| CONFIG_SOC_QEMU_CORTEX_A53=y |
| CONFIG_BOARD_QEMU_CORTEX_A53=y |
| 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 |
| CONFIG_MAX_THREAD_BYTES=3 |