#
# Copyright 2025 NXP
#
# SPDX-License-Identifier: Apache-2.0
#

# clock-related configurations
CONFIG_CLOCK_CONTROL=y

# serial interface-related configurations
CONFIG_SERIAL=y
CONFIG_UART_CONSOLE=y
CONFIG_UART_INTERRUPT_DRIVEN=y
CONFIG_CONSOLE=y

# SCMI-related configurations
CONFIG_MBOX=y
CONFIG_MBOX_INIT_PRIORITY=0
CONFIG_ARM_SCMI=y
CONFIG_ARM_SCMI_NXP_VENDOR_EXTENSIONS=y

# kernel-related configurations
CONFIG_XIP=y

# nocache section related configurations
CONFIG_NOCACHE_MEMORY=y
