1# Copyright 2024 NXP
2# SPDX-License-Identifier: Apache-2.0
3
4# Platform Configuration
5CONFIG_ARM64_VA_BITS_40=y
6CONFIG_ARM64_PA_BITS_40=y
7# 25 MHz system clock
8CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
9
10# Zephyr Kernel Configuration
11CONFIG_XIP=n
12CONFIG_AARCH64_IMAGE_HEADER=y
13
14# Serial Drivers
15CONFIG_SERIAL=y
16CONFIG_UART_INTERRUPT_DRIVEN=y
17
18# Enable Console
19CONFIG_CONSOLE=y
20CONFIG_UART_CONSOLE=y
21