diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index c28fcd49e67..e5f8cda0f31 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -580,7 +580,7 @@
- A user-mode port of NuttX to the x86 Linux platform is available. + A user-mode port of NuttX to the x86 Linux/Cygwin platform is available. The purpose of this port is primarily to support OS feature development.
@@ -625,9 +625,10 @@
STATUS: - The basic port includes successful booting, timer interrupts, serial console, - USB driver, succesfully passing the OS test, and a NuttShell (NSH) configuration. - Additional driver development is underway. + This port boots and passes the OS test (examples/ostest). + The port is complete and verifed. As of NuttX 0.3.17, the port includes: + timer interrupts, serial console, USB driver, and SPI-based MMC/SD card + support. A verifed NuttShell (NSH) configuration is also available.