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