1#
2# Copyright 2024 NXP
3#
4# SPDX-License-Identifier: Apache-2.0
5
6# ARM Options
7CONFIG_AARCH64_IMAGE_HEADER=y
8CONFIG_ARMV8_A_NS=y
9
10# MMU Options
11CONFIG_MAX_XLAT_TABLES=64
12
13# Cache Options
14CONFIG_CACHE_MANAGEMENT=y
15CONFIG_DCACHE_LINE_SIZE_DETECT=y
16CONFIG_ICACHE_LINE_SIZE_DETECT=y
17
18# Zephyr Kernel Configuration
19CONFIG_XIP=n
20CONFIG_KERNEL_DIRECT_MAP=y
21
22# SMP
23CONFIG_SMP=y
24CONFIG_MP_MAX_NUM_CPUS=6
25CONFIG_PM_CPU_OPS=y
26
27# Serial Drivers
28CONFIG_SERIAL=y
29CONFIG_UART_INTERRUPT_DRIVEN=y
30
31# Enable Console
32CONFIG_CONSOLE=y
33CONFIG_UART_CONSOLE=y
34
35CONFIG_CLOCK_CONTROL=y
36
37CONFIG_MBOX=y
38CONFIG_ARM_SCMI=y
39CONFIG_INTC_INIT_PRIORITY=2
40CONFIG_MBOX_INIT_PRIORITY=3
41
42CONFIG_MAX_THREAD_BYTES=5
43