# LPC11U6X series configuration options

# Copyright (c) 2020, Seagate
# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_LPC11U6X

source "soc/arm/nxp_lpc/lpc11u6x/Kconfig.defconfig.lp*"

config SOC_SERIES
	default "lpc11u6x"

config NUM_IRQS
	# must be >= the highest interrupt number used
	default 40

if PINMUX

# The pinmux device must be initialized before all the other devices, including
# the clock control device which uses it.

config PINMUX_INIT_PRIORITY
	default 1

endif # PINMUX

endif # SOC_SERIES_LPC11U6X