diff --git a/ChangeLog b/ChangeLog
index 59dd5cad7cc..47627eff536 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -6041,4 +6041,5 @@
 	* arch/arm/src/sama5/sam_ssc.c:  I2S loopback test finally works
 	  (2013-11-11).
 	* fs/procfs:  Add a little, primitive procfs file system. (2013-11-13).
+	* fs/binfs/README.txt:  Add a README file for binfs (2013-11-13).
 
diff --git a/Documentation/README.html b/Documentation/README.html
index e2623d272e4..de8634ed816 100644
--- a/Documentation/README.html
+++ b/Documentation/README.html
@@ -8,7 +8,7 @@
   <tr align="center" bgcolor="#e4e4e4">
     <td>
       <h1><big><font color="#3c34ec"><i>NuttX README Files</i></font></big></h1>
-      <p>Last Updated: November 7, 2013</p>
+      <p>Last Updated: November 13, 2013</p>
     </td>
   </tr>
 </table>
@@ -231,6 +231,8 @@
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/drivers/syslog/README.txt">README.txt</a>
  |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/drivers/README.txt"><b><i>README.txt</i></b></a>
  |   |- fs/
+ |   |   |- binfs/
+ |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/fs/binfs/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- mmap/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/fs/mmap/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- nxffs/
diff --git a/README.txt b/README.txt
index d9df9a3a3f3..c6fdfeebe84 100644
--- a/README.txt
+++ b/README.txt
@@ -1159,6 +1159,8 @@ nuttx
  |   |   `- README.txt
  |   `- README.txt
  |- fs/
+ |   |- binfs/
+ |   |   `- README.txt
  |   |- mmap/
  |   |   `- README.txt
  |   |- nxffs/
diff --git a/fs/binfs/README.txt b/fs/binfs/README.txt
new file mode 100755
index 00000000000..ea5e862f4a3
--- /dev/null
+++ b/fs/binfs/README.txt
@@ -0,0 +1,29 @@
+fs/binfs README
+================
+
+  This is the binfs file system that allows "fake" execution of NSH built-
+  in applications via the file system.  The binfs fs file system can be
+  built into the system by enabling:
+
+    CONFIG_BUILTIN=y
+    CONFIG_FS_BINFS=y
+
+  It can then be mounted from the NSH command like like:
+
+   mount -t binfs /bin
+
+Example
+=======
+
+  NuttShell (NSH) NuttX-6.31
+  nsh> hello
+  nsh: hello: command not found
+
+  nsh> mount -t binfs /bin
+  nsh> ls /bin
+  ls /bin
+  /bin:
+   hello
+
+  nsh> /bin/hello
+  Hello, World!!
diff --git a/fs/procfs/README.txt b/fs/procfs/README.txt
index 87b88a330da..ffa3eddfc16 100755
--- a/fs/procfs/README.txt
+++ b/fs/procfs/README.txt
@@ -46,5 +46,6 @@ Example
    0/
    1/
    2/
+
   nsh> cat /proc/2/cmdline
   <pthread> 0x527420