diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 7898b9d148..03da645972 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -805,7 +805,8 @@
       Two configurations have been verified: (1) The board boots and passes the OS test
       with console output visible on UART0, and the NuttShell <a href="NuttShell.html">(NSH)</a>
       is fully functional with interrupt driven serial console.  An SPI driver is available
-      but untested.  Additional features are needed: USB driver, MMC/SD support, to name two.
+      but untested (because the Olimex card slot appears to accept only MMC cards; I have
+      only SD cards).  Additional features are needed: USB driver, MMC integration, to name two.
      </p>
   </td>
 </tr>
diff --git a/TODO b/TODO
index 33d0e25be9..a4c1a78415 100644
--- a/TODO
+++ b/TODO
@@ -520,16 +520,14 @@ o ARM/LPC214x (arch/arm/src/lpc214x/)
 o ARM/STR71x (arch/arm/src/str71x/)
   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-  Description: Basic port is complete but untested.  Complete integration
-  Status:      Open
-  Priority:    High
-
-  Description: Add SPI driver and integrate with MMC/SD support.
+  Description: Add SPI driver and integrate with MMC/SD support. This effort is stalled
+               at the moment because the slot on the Olimex board only accepts MMC card;
+               I have not MMC cards, only SD cards which won't fit into the slot.
   Status:      Open
   Priority:    Medium
 
-  Description: Develop a USB driver and integrate with existing USB serial
-               and storage class drivers.
+  Description: Develop a USB driver and integrate with existing USB serial and storage
+               class drivers.
   Status:      Open
   Priority:    Medium