diff --git a/Documentation/introduction/detailed_support.rst b/Documentation/introduction/detailed_support.rst
index 87566abff0..133872de56 100644
--- a/Documentation/introduction/detailed_support.rst
+++ b/Documentation/introduction/detailed_support.rst
@@ -2627,6 +2627,10 @@ NuttX-7.27.
    `README <https://github.com/apache/incubator-nuttx/blob/master/boards/arm/imxrt/imxrt1020-evk/README.txt>`__
    file for further information.
 
+-  The basic Teensy-4.x port is complete. Refer to the NuttX board
+   `README <https://github.com/apache/incubator-nuttx/blob/master/boards/arm/imxrt/teensy-4.x/README.txt>`__
+   file for further information.
+
 **i.MX RT Driver Status:**
 
 -  **NuttX-7.25**. The initial release in NuttX-7.25 includes UART,
diff --git a/README.md b/README.md
index ad1b0294ed..c38fdb02cb 100644
--- a/README.md
+++ b/README.md
@@ -1932,7 +1932,9 @@ Below is a guide to the available README files in the NuttX source tree:
      |   |   |- imxrt/
      |   |   |   |- imxrt1050-evk/
      |   |   |   |   `- README.txt
-     |   |   |   `- imxrt1060-evk/
+     |   |   |   |- imxrt1060-evk/
+     |   |   |   |   `- README.txt
+     |   |   |   `- teensy-4.x/
      |   |   |       `- README.txt
      |   |   |- kinetis/
      |   |   |   |- freedom-k28f/
diff --git a/boards/README.txt b/boards/README.txt
index 90d5c25b4d..5dbdbe3bd2 100644
--- a/boards/README.txt
+++ b/boards/README.txt
@@ -819,6 +819,15 @@ boards/arm/kinetis/teensy-3.x
   Teensy-3.0).  the primary difference is that the Teensy 3.0 has a
   MK30DX128VLH5 with slightly less capability.
 
+boards/arm/imxrt/teensy-4.x
+		This is the port of NuttX to the PJRC Teensy++ 4.x board.  This board is
+		developed by http://pjrc.com/teensy/.  The Teensy++ 4.x is based
+		on an NXP MIMXRT1062DVL6A MCU. The port can support both Teensy 4.0 and
+		Teensy 4.1 boards.
+
+    https://www.pjrc.com/store/teensy40.html
+    https://www.pjrc.com/store/teensy41.html
+
 boards/arm/kl/teensy-lc
   This is the port of nuttx for the Teensy LC board.  The Teensy LC
   is a DIP style breakout board for the MKL25Z64 and comes with a USB