# Kinetis KWx SoC configuration options

# SPDX-License-Identifier: Apache-2.0

if SOC_MKW40Z4

config SOC
	default "mkw40z4"

config NUM_IRQS
	default 32

choice CSPRNG_GENERATOR_CHOICE
	default CTR_DRBG_CSPRNG_GENERATOR
endchoice

choice RNG_GENERATOR_CHOICE
	default XOSHIRO_RANDOM_GENERATOR
endchoice

config TINYCRYPT
	default y

endif # SOC_MKW40Z4