summaryrefslogtreecommitdiff
path: root/nuttx/configs/README.txt
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/configs/README.txt')
-rw-r--r--nuttx/configs/README.txt6
1 files changed, 5 insertions, 1 deletions
diff --git a/nuttx/configs/README.txt b/nuttx/configs/README.txt
index ad62930ae..9d09fe73f 100644
--- a/nuttx/configs/README.txt
+++ b/nuttx/configs/README.txt
@@ -202,6 +202,10 @@ configs/demo9s12ne64
port uses the m9s12x GCC toolchain. STATUS: (Still) under development; it
is code complete but has not yet been verified.
+configs/dk-tm4c129x
+ This is the port of NuttX to the TivaŽ DK-TM4C129x Connected Development Kit. The
+ TivaŽ DK-TM4C129x features the TM4C129XNCZAD MCU.
+
configs/ea3131
Embedded Artists EA3131 Development board. This board is based on the
an NXP LPC3131 MCU. This OS is built with the arm-nuttx-elf toolchain*.
@@ -573,7 +577,7 @@ configs/teensy
on an Atmel AT90USB1286 MCU.
configs/tm4c123g-launchpad
- This is the port of NuttX to the Tiva TM4C123G LaunchPad. The
+ This is the port of NuttX to the TivaŽ TM4C123G LaunchPad. The
TivaŽ TM4C123G LaunchPad Evaluation Board is a low-cost evaluation
platform for ARMŽ Cortex™-M4F-based microcontrollers from Texas
Instruments.