# SPDX-License-Identifier: Apache-2.0 CONFIG_SOC_MK64F12=y CONFIG_SOC_SERIES_KINETIS_K6X=y CONFIG_CONSOLE=y CONFIG_UART_CONSOLE=y CONFIG_SERIAL=y CONFIG_GPIO=y CONFIG_PINCTRL=y CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=120000000 CONFIG_OSC_EXTERNAL=y # Enable MPU CONFIG_ARM_MPU=y CONFIG_HW_STACK_PROTECTION=y