diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 9534ff95b5..5a36ba9462 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -2012,7 +2012,7 @@ STATUS: This port has stalled due to development tool issues. Coding is complete on the basic port (timer, serial console, SPI). - Refer to the NuttX board README file for further information. + Refer to the NuttX board README file for further information.
NOTE: This port has been obsoleted. @@ -2162,7 +2162,7 @@ Raspberry Pi Zero. This support was provided for the Raspberry Pi Zero which is based on the BCM2835. Basic logic is in place but the port is incomplete and completely untested as of the NuttX-7.23 released. - Refer to the NuttX board README file for further information. + Refer to the NuttX board README file for further information.
Obsoleted:: Support for the Raspberry Pi Zero was never completed. @@ -2801,13 +2801,13 @@ nsh>
STATUS: The first released version was provided in NuttX 7.10. - Refer to the board README.txt file for further information. + Refer to the board README.txt file for further information.
Obsoleted: Support for the LPCXpresso-LPC1115 and for the LPC1115 architecture in general was removed after NuttX-7.30. The LPC11 port was never really used (to my knowledge) and was no longer supported. - A snapshot of the port is still available in the Obsoleted repository. + A snapshot of the port is still available in the Obsoleted repository. It can be brought back into the main repository at any time if anyone is willing to provide support for the architecture.
@@ -3848,7 +3848,7 @@ nsh>NOTE: