| # SPDX-License-Identifier: Apache-2.0 |
| |
| # Platform Configuration |
| CONFIG_SOC_SERIES_IMX8M_A53=y |
| CONFIG_SOC_MIMX8MP_A53=y |
| CONFIG_BOARD_IMX8MP_EVK_A53=y |
| CONFIG_ARM_ARCH_TIMER=y |
| |
| # Zephyr Kernel Configuration |
| CONFIG_XIP=n |
| CONFIG_ARM64_VA_BITS_48=y |
| CONFIG_ARM64_PA_BITS_48=y |
| |
| # Serial Drivers |
| CONFIG_SERIAL=n |
| CONFIG_UART_INTERRUPT_DRIVEN=n |
| |
| # Enable Console |
| CONFIG_CONSOLE=y |
| CONFIG_UART_CONSOLE=n |
| |
| CONFIG_RAM_CONSOLE=y |
| CONFIG_RAM_CONSOLE_BUFFER_SIZE=2048 |
| |
| CONFIG_ARMV8_A_NS=y |
| CONFIG_DYNAMIC_INTERRUPTS=y |
| CONFIG_TIMEOUT_64BIT=y |
| |
| CONFIG_CLOCK_CONTROL=n |
| |
| # SMP support |
| CONFIG_SMP=y |
| CONFIG_MP_NUM_CPUS=2 |
| CONFIG_CACHE_MANAGEMENT=y |
| CONFIG_ARMV8_A_NS=y |
| |
| # PSCI is supported |
| CONFIG_PM_CPU_OPS=y |
| CONFIG_PM_CPU_OPS_PSCI=y |