From 5c40860d037c6f46a50ab3d76339fafb8e2dd885 Mon Sep 17 00:00:00 2001
From: patacongo Last Updated: May 19, 2012 Last Updated: June 4, 2012
@@ -2269,14 +2269,19 @@
Stay tuned for updates.
NuttX RTOS
-
STATUS: - A basic OS test configuration is in place, but the board does not boot. - It looks like I will need an ICD3 in order to debug the code (PICkit3 - doesn't work for debugging with this board). This effort is temporarily stalled. + Two verified configurations are available: + (1) The basic OS test configuration that verfies the correctnexx port of Nuttx, and (2) an extensive NuttShell (NSH) configuration. + The NSH configuration includes: + (1) Full network support, + (2) Verified SPI driver, + (3) SPI-based SD Card support, + (4) USB device support (including configuration options for the USB mass storage device and the CDC/ACM serial class), and + (4) Support for the MIO873QT2 LCD on the PIC32MX7 MMB.