| # |
| # Copyright 2023 NXP |
| # |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| # ARM Options |
| CONFIG_AARCH64_IMAGE_HEADER=y |
| CONFIG_ARMV8_A_NS=y |
| |
| # The number of bits used for PAs and VAs |
| # from Zephyr needs to match the number of |
| # bits used for said address used by Jailhouse. |
| CONFIG_ARM64_VA_BITS_40=y |
| CONFIG_ARM64_PA_BITS_40=y |
| |
| # Cache Options |
| CONFIG_CACHE_MANAGEMENT=y |
| CONFIG_ICACHE_LINE_SIZE_DETECT=y |
| # SOF doesn't currently support the usage of |
| # run-time data cache line size detection. |
| # Because of this, CONFIG_DCACHE_LINE_SIZE_DETECT |
| # (which defaults to n) can't be set to 'y'. |
| # The size of data cache line will have to be |
| # set manually to 64 (value taken from A55 TRM). |
| CONFIG_DCACHE_LINE_SIZE=64 |
| |
| # Platform Configuration |
| CONFIG_SOC_SERIES_MIMX9_A55=y |
| CONFIG_SOC_MIMX93_A55=y |
| CONFIG_BOARD_MIMX93_EVK_A55=y |
| |
| # Serial Drivers |
| CONFIG_SERIAL=y |
| CONFIG_UART_INTERRUPT_DRIVEN=y |
| |
| # Enable Console |
| CONFIG_CONSOLE=y |
| CONFIG_UART_CONSOLE=y |
| |
| CONFIG_CLOCK_CONTROL=y |
| CONFIG_PINCTRL=y |
| |
| # Enable dynamic interrupts |
| CONFIG_DYNAMIC_INTERRUPTS=y |