update

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

2 files changed, 16 insertions, 5 deletions

diff --git a/nuttx/Documentation/NuttXDemandPaging.html b/nuttx/Documentation/NuttXDemandPaging.html
index 1d54ec091..dc0d5d6ae 100755
--- a/nuttx/Documentation/NuttXDemandPaging.html
+++ b/nuttx/Documentation/NuttXDemandPaging.html
@@ -128,7 +128,7 @@
 

 <p>

   This document summarizes the design of NuttX on-demand paging.

-  This feature permits embedded MCUs with some limited RAM space to execute large programs some some non-random access media.

+  This feature permits embedded MCUs with some limited RAM space to execute large programs from some non-random access media.

   This feature was first discussed in this email thread:

   <a href="http://tech.groups.yahoo.com/group/nuttx/message/213">http://tech.groups.yahoo.com/group/nuttx/message/213</a>.

 </p>

@@ -152,7 +152,7 @@
 </p>

 <p>

   If the platform meets these requirement, then NuttX can provide on-demand paging:

-  It can copy .text from the large program in non-volatile media into RAM as needed to execute the huge program from the small RAM.

+  It can copy .text from the large program in non-volatile media into RAM as needed to execute a huge program from the small RAM.

 </p>

 

 <a name="Terminology"><h2>Terminology</h2></a>

diff --git a/nuttx/Documentation/NuttxPortingGuide.html b/nuttx/Documentation/NuttxPortingGuide.html
index 9275258de..428537f65 100644
--- a/nuttx/Documentation/NuttxPortingGuide.html
+++ b/nuttx/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: July 12, 2010</p>
+      <p>Last Updated: August 14, 2010</p>
     </td>
   </tr>
 </table>
@@ -98,7 +98,8 @@
       <a href="#schedprocesstimer">4.2.3 <code>sched_process_timer()</code></a><br>
       <a href="#irqdispatch">4.2.4 <code>irq_dispatch()</code></a>
     </ul>
-    <a href="#ledsupport">4.3 LED Support</a>
+    <a href="#demandpaging">4.3 On-Demand Paging</a><br>
+    <a href="#ledsupport">4.4 LED Support</a>
     <ul>
       <a href="#ledheaders">4.3.1 Header Files</a><br>
       <a href="#leddefinitions">4.3.2 LED Definitions</a><br>
@@ -1483,7 +1484,17 @@ The system can be re-made subsequently by just typing <code>make</code>.
   the appropriate, registered handling logic.
 </p>
 
-<h2><a name="ledsupport">4.3 LED Support</a></h2>
+<h2><a name="demandpaging">4.3 On-Demand Paging</a></h2>
+
+<p>
+  The NuttX On-Demand Paging feature permits embedded MCUs with some limited RAM space to execute large programs from some non-random access media.
+  If the platform meets certiain requirements, then NuttX can provide on-demand paging:
+  It can copy .text from the large program in non-volatile media into RAM as needed to execute a huge program from the small RAM.
+  Design and porting issues for this feature are discussed in a sepate document.
+  Please see the <a href="NuttXDemandPaging.html">NuttX Demand Paging</a> design document for further information.
+</p>
+
+<h2><a name="ledsupport">4.4 LED Support</a></h2>
 
 <p>
   A board architecture may or may not have LEDs.