# 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 |