| CONFIG_SOC_QEMU_CORTEX_A53=y | |
| CONFIG_BOARD_QEMU_CORTEX_A53=y | |
| CONFIG_ARM_ARCH_TIMER=y | |
| CONFIG_QEMU_ICOUNT=n | |
| # Enable UART driver | |
| CONFIG_SERIAL=y | |
| # Enable console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # PSCI is supported | |
| CONFIG_PM_CPU_OPS=y | |
| CONFIG_PM_CPU_OPS_PSCI=y | |
| # Enable serial port | |
| CONFIG_UART_INTERRUPT_DRIVEN=y | |
| CONFIG_SMP=y | |
| CONFIG_MP_NUM_CPUS=2 | |
| CONFIG_CACHE_MANAGEMENT=y | |
| CONFIG_TIMEOUT_64BIT=y | |
| CONFIG_ARMV8_A_NS=y | |
| CONFIG_MAX_THREAD_BYTES=3 |