diff options
Diffstat (limited to 'nuttx/configs/Kconfig')
-rwxr-xr-x | nuttx/configs/Kconfig | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig index 91ea7de0a..3caafc7d5 100755 --- a/nuttx/configs/Kconfig +++ b/nuttx/configs/Kconfig @@ -808,6 +808,14 @@ config ARCH_BOARD_TEENSY developed by http://pjrc.com/teensy/. The Teensy++ 2.0 is based on an Atmel AT90USB1286 MCU. +config ARCH_BOARD_TEENSY_3_1 + bool "PJRC Teensy 3.1 board" + depends on ARCH_CHIP_MK20DX256VLH7 + select ARCH_HAVE_LEDS + ---help--- + This is the port of NuttX to the PJRC Teensy 3.1 board. This board is + developed by http://pjrc.com/teensy31/. + config ARCH_BOARD_TM4C123G_LAUNCHPAD bool "Tiva TM4C123G LaunchPad" depends on ARCH_CHIP_TM4C123GH6PMI @@ -1085,6 +1093,7 @@ config ARCH_BOARD default "mikroe-stm32f4" if ARCH_BOARD_MIKROE_STM32F4 default "sure-pic32mx" if ARCH_BOARD_SUREPIC32MX default "teensy" if ARCH_BOARD_TEENSY + default "teensy31" if ARCH_BOARD_TEENSY_3_1 default "tm4c123g-launchpad" if ARCH_BOARD_TM4C123G_LAUNCHPAD default "cc3200-launchpad" if ARCH_BOARD_CC3200_LAUNCHPAD default "twr-k60n512" if ARCH_BOARD_TWR_K60N512 @@ -1387,6 +1396,9 @@ endif if ARCH_BOARD_TEENSY source "configs/teensy/Kconfig" endif +if ARCH_BOARD_TEENSY_3_1 +source "configs/teensy31/Kconfig" +endif if ARCH_BOARD_TM4C123G_LAUNCHPAD source "configs/tm4c123g-launchpad/Kconfig" endif |