| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_ARM=y | |
| CONFIG_SOC_MK64F12=y | |
| CONFIG_SOC_SERIES_KINETIS_K6X=y | |
| CONFIG_BOARD_FRDM_K64F=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=120000000 | |
| CONFIG_OSC_EXTERNAL=y | |
| # Enable MPU | |
| CONFIG_ARM_MPU=y |