| # SPDX-License-Identifier: Apache-2.0 | |
| # Platform Configuration | |
| CONFIG_ARM64_VA_BITS_40=y | |
| CONFIG_ARM64_PA_BITS_40=y | |
| # 25 MHz system clock | |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000 | |
| # Zephyr Kernel Configuration | |
| CONFIG_XIP=n | |
| CONFIG_AARCH64_IMAGE_HEADER=y | |
| # Serial Drivers | |
| CONFIG_SERIAL=y | |
| CONFIG_UART_INTERRUPT_DRIVEN=y | |
| # Enable Console | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| # SMP support | |
| CONFIG_MP_MAX_NUM_CPUS=4 |