Documentation: Migrate README.txt to RST

Documentation/platforms/arm/kl/boards/teensy-lc/index.rst

@@ -2,6 +2,34 @@
 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
-based bootloader.
+This is the NuttX port for the PJRC Teensy LC board. The Teensy LC is a
+DIP-style breakout board for the MKL25Z64 and includes a USB-based
+bootloader.
+
+Development Environment
+=======================
+
+Testing was done with the GNU ARM Embedded 4.9 toolchain on Linux. See
+https://developer.arm.com/open-source/gnu-toolchain/gnu-rm for toolchain
+downloads.
+
+Once you have configured and built NuttX, flash the resulting ``nuttx.hex``
+image to the board with the Teensy Loader application.
+
+LEDs
+====
+
+The Teensy LC provides a single LED. If ``CONFIG_ARCH_LEDS`` is enabled, NuttX
+updates that LED during boot:
+
+* LED off: board booting
+* LED on: initial stack created
+* LED flashing: panic
+
+See ``include/board.h`` for the board-specific definitions.
+
+Serial Console
+==============
+
+The serial console is mapped to UART0 and appears on pins 0 (RX) and 1 (TX).
+Use a 3.3 V USB-to-serial adapter, such as the Sparkfun ``#9717`` FTDI cable.

Documentation/platforms/arm/lpc2378/boards/olimex-lpc2378/index.rst

@@ -2,6 +2,25 @@
 olimex-lpc2378
 ==============
 
-.. include:: README.txt
-   :literal:
+The Olimex LPC2378 board has only a small amount of board-specific porting
+information recorded in the original notes.
 
+Board Notes
+===========
+
+* ``EXT1``: ``P3[0:7]`` are used for LEDs.
+* ``UEXT`` pins 3 and 4 provide ``TXD2`` and ``RXD2`` for UART2.
+
+Known Limitations
+=================
+
+The board used for this port still had the ``-`` LPC2378 revision, even though
+it was purchased more than two years after the updated chip revision was
+released. With that hardware, NuttX would not run correctly with the MAM fully
+enabled.
+
+Console Setup
+=============
+
+Testing was done with an FTDI ``ft232`` USB-to-serial adapter and NSH piping,
+as shown in the original board screenshot.

Documentation/platforms/arm/mx8mp/boards/verdin-mx8mp/index.rst

@@ -0,0 +1,26 @@
+=============
+verdin-mx8mp
+=============
+
+This directory provides board support for the Toradex Verdin i.MX8MP. This
+port runs on the internal Cortex-M7 auxiliary core, not on the main
+Cortex-A53 complex.
+
+GPIO Connections
+================
+
+Connect LEDs and buttons to the header pins as follows:
+
+* ``LED21`` on ``GPIO_4``
+* ``LED22`` on ``GPIO_3``
+* ``LED23`` on ``GPIO_2``
+* ``LED24`` on ``GPIO_1``
+* ``SW11`` on ``GPIO_5_CSI``
+
+You can adjust this pin mapping in ``verdin_mx8mp.h``.
+
+Status
+======
+
+* 2023-08-23: boots into NSH and provides the NSH prompt
+* 2023-09-04: GPIO and I2C support work, including the on-board INA219 sensor

Documentation/platforms/arm/mx8mp/index.rst

@@ -0,0 +1,16 @@
+=====================
+NXP i.MX 8M Plus
+=====================
+
+Support is available for the NXP i.MX 8M Plus family. Current board support is
+focused on the Cortex-M7 auxiliary core rather than the main Cortex-A53
+application cores.
+
+Supported Boards
+================
+
+.. toctree::
+   :glob:
+   :maxdepth: 1
+
+   boards/*/*

Documentation/platforms/arm/sam34/boards/sam4cmp-db/index.rst

@@ -2,5 +2,27 @@
 sam4cmp-db
 ==========
 
-.. include:: README.txt
-   :literal:
+README for the NuttX port to the SAM4CMP-DB board.
+
+The `SAM4CMP-DB <http://www.atmel.com/tools/SAM4CMP-DB.aspx>`_ board is used
+to exercise NuttX SMP support for dual Cortex-M4 systems.
+
+Settings
+========
+
+1. Both CPUs run at 92.160 MHz using PLLB.
+2. The serial console is available via the on-board USB-to-UART interface at
+   115200 8N1.
+3. Interrupt handlers such as the timer and UART run on CPU0.
+4. Both CPUs share internal SRAM0 (128 KB).
+5. SRAM1 is used to boot CPU1.
+6. Cache controllers are disabled because the device has no snooping support.
+
+Status
+======
+
+The SMP feature works on the board, but it is not yet stable.
+
+1. ``nsh> sleep 1 &`` works without crashing.
+2. ``nsh> smp`` sometimes works, but assertions may occur.
+3. ``nsh> ostest`` causes deadlocks during the test.

Documentation/platforms/arm/sam34/index.rst

@@ -90,9 +90,9 @@ was contributed in part by Max Neklyudov.
 to NuttX by Masayuki Ishikawa in NuttX-7.19. The SAM4CM is a dual-CPU
 part and SMP was included for the ARMv7-M and SAM3/4 families. The
 SAM4CMP-DB board support includes an NSH configuration that operates in
-an SMP configuration. Refer to the NuttX board
-`README <https://github.com/apache/nuttx/blob/master/Documentation/platforms/arm/sam34/boards/sam4cmp-db/README.txt>`__
-file for further information.
+an SMP configuration. Refer to the
+:doc:`board documentation <boards/sam4cmp-db/index>` for further
+information.
 
 Microchip SAM4E
 ---------------