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