| # FSL FRDM K64F platform configuration options | |
| # Copyright (c) 2014-2016 Wind River Systems, Inc. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| if SOC_MK64F12 | |
| config SOC | |
| default "mk64f12" | |
| config NUM_IRQS | |
| # must be >= the highest interrupt number used | |
| default 86 | |
| config GPIO | |
| default y | |
| config SPI | |
| default n | |
| endif # SOC_MK64F12 |