1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_SOC_MK64F12=y
4CONFIG_SOC_SERIES_KINETIS_K6X=y
5CONFIG_CONSOLE=y
6CONFIG_UART_CONSOLE=y
7CONFIG_SERIAL=y
8CONFIG_GPIO=y
9CONFIG_PINCTRL=y
10CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=120000000
11CONFIG_OSC_EXTERNAL=y
12
13# Enable MPU
14CONFIG_ARM_MPU=y
15CONFIG_HW_STACK_PROTECTION=y
16