CONFIG_ARM=y CONFIG_SOC_MKW41Z4=y CONFIG_SOC_SERIES_KINETIS_KWX=y CONFIG_BOARD_FRDM_KW41Z=y CONFIG_CONSOLE=y CONFIG_UART_CONSOLE=y CONFIG_SERIAL=y CONFIG_CORTEX_M_SYSTICK=y CONFIG_GPIO=y CONFIG_PINMUX=y CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=40000000 CONFIG_OSC_EXTERNAL=y CONFIG_XOROSHIRO_RANDOM_GENERATOR=y