From 61753a1b78cf46bee794d5922c21463d94ca7776 Mon Sep 17 00:00:00 2001
From: patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>
Date: Wed, 8 Sep 2010 17:38:44 +0000
Subject: [PATCH] Implement SD-based paging for EA3131

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2931 42af7a65-404d-4744-a932-0658087f49c3
---
 Documentation/NuttX.html             | 10 +++++++++-
 Documentation/NuttxPortingGuide.html |  8 +++++++-
 2 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 75653312ac..427f08687b 100644
--- a/Documentation/NuttX.html
+++ b/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: September 7, 2010</p>
+      <p>Last Updated: September 8, 2010</p>
     </td>
   </tr>
 </table>
@@ -1950,6 +1950,14 @@ buildroot-1.8 2009-12-21 &lt;spudmonkey@racsa.co.cr&gt;
 <ul><pre>
 nuttx-5.11 2010-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
+	* configs/ea3131/src/up_fillpage.c - Added new configuration item
+	  CONFIG_PAGING_BINPATH.  If CONFIG_PAGING_BINPATH is defined, then it
+	  is the full path to a file on a mounted file system that contains
+	  a binary image of the NuttX executable.  Pages will be filled by
+	  reading from offsets into this file that correspond to virtual
+	  fault addresses.  up_fillpage.c implements logic to perform page
+	  files using the CONFIG_PAGING_BINPATH file.
+
 pascal-2.1 2010-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
 buildroot-1.9 2010-xx-xx <spudmonkey@racsa.co.cr>
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 2f3d8af8f7..2237afa01f 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: August 29, 2010</p>
+      <p>Last Updated: September 8, 2010</p>
     </td>
   </tr>
 </table>
@@ -2294,6 +2294,7 @@ build
 </ul>
 
 <h2>General OS setup</h2>
+<ul>
   <li>
     <code>CONFIG_DEBUG</code>: enables built-in debug options
   </li>
@@ -2569,6 +2570,11 @@ build
     <code>CONFIG_PAGING_VECL2VADDR</code>:
     This is the virtual address of the L2 page table entry to use for the vector mapping.
   </li>
+  <li>
+    <code>CONFIG_PAGING_BINPATH</code>:
+    If <code>CONFIG_PAGING_BINPATH</code> is defined, then it is the full path to a file on a mounted file system that contains a binary image of the NuttX executable.
+    Pages will be filled by reading from offsets into this file that correspond to virtual fault addresses.
+  </li>
 </ul>
 <p>
   The following can be used to disable categories of APIs supported