Add support for the STM32F4-Discovery (from Mike Smith)

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4294 42af7a65-404d-4744-a932-0658087f49c3

Documentation/NuttX.html

@@ -8,7 +8,7 @@
   <tr align="center" bgcolor="#e4e4e4">
     <td>
       <h1><big><font color="#3c34ec"><i>NuttX RTOS</i></font></big></h1>
-      <p>Last Updated: January 4, 2012</p>
+      <p>Last Updated: January 11, 2012</p>
     </td>
   </tr>
 </table>
@@ -1722,15 +1722,13 @@
   <td>
     <p>
       <b>STMicro STM32F4-Discovery</b>.
-      This port is just beginning and is not yet available.
-      It will used the STMicor STM32F4-Discovery board featuring the STM32F407VGT6 MCU.
+      This port uses the STMicro STM32F4-Discovery board featuring the STM32F407VGT6 MCU.
       Refer to the <a href="http://www.st.com/internet/evalboard/product/252419.jsp">STMicro web site</a> for further information about this board.
     </p>
     <ul>
       <p>
         <b>STATUS:</b>
-        This is really a vapor ware, pre-announcement.
-        I have the hardware and the motivation and I expect to announce the availability of support the STM32F4-Discovery in a later NuttX release.
+        The basic port for the STM32F-Discovery was contributed by Mike Smith and was first released in NuttX-6.14.
       </p>
     </ul>
   </td>