From 0175f8b29e8236e736847f1f96defa0db930b32d Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jodersky@gmail.com>
Date: Tue, 13 Jan 2015 16:23:31 +0100
Subject: Port of basic functionalities to Kinetis K20 family

---
 nuttx/configs/Kconfig | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'nuttx/configs/Kconfig')

diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig
index 542949257..f06c40d34 100644
--- a/nuttx/configs/Kconfig
+++ b/nuttx/configs/Kconfig
@@ -866,6 +866,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_TRIFLE
+	bool "Trifle flight controller based on 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
-- 
cgit v1.2.3