| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_ARM=y | |
| CONFIG_CORTEX_M_SYSTICK=y | |
| CONFIG_SOC_SERIES_KINETIS_KV5X=y | |
| CONFIG_SOC_MKV58F24=y | |
| CONFIG_BOARD_TWR_KV58F220M=y | |
| CONFIG_SERIAL=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_UART_INTERRUPT_DRIVEN=y | |
| CONFIG_PINMUX=y | |
| CONFIG_GPIO=y | |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=237500000 | |
| # Enable MPU | |
| CONFIG_ARM_MPU=y |