| # |
| # Copyright (c) 2020, Bernhard Kraemer |
| # |
| # SPDX-License-Identifier: Apache-2.0 |
| # |
| |
| if BOARD_TEENSY40 || BOARD_TEENSY41 |
| |
| config BUILD_OUTPUT_HEX |
| bool |
| default y |
| |
| config BOARD |
| default "teensy40" if BOARD_TEENSY40 |
| default "teensy41" if BOARD_TEENSY41 |
| |
| choice CODE_LOCATION |
| default CODE_FLEXSPI |
| endchoice |
| |
| config DISK_DRIVER_SDMMC |
| default y if DISK_DRIVERS |
| |
| if DISK_DRIVER_SDMMC |
| |
| config SDMMC_USDHC_DAT3_PWR_TOGGLE |
| default y |
| |
| config SDMMC_USDHC_DAT3_PWR_DELAY |
| default 10 |
| |
| endif # DISK_DRIVER_SDMMC |
| |
| endif # BOARD_TEENSY40 || BOARD_TEENSY41 |