From d5480df6032dc98deeb26942083ac60e952b7765 Mon Sep 17 00:00:00 2001 From: patacongo Date: Sun, 15 Aug 2010 15:13:34 +0000 Subject: [PATCH] Demand paging documentation git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2854 42af7a65-404d-4744-a932-0658087f49c3 --- ChangeLog | 3 +++ Documentation/NuttX.html | 17 ++++++++++++++++- Documentation/NuttXDemandPaging.html | 8 ++++---- Documentation/NuttXLinks.html | 1 + 4 files changed, 24 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index ae334456f0..c2ddcaeb46 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1206,3 +1206,6 @@ GPIO interrupts. * arch/arm/src/lm3s/lm3s_internal.h and lm3s_gpio.c - Fixed the encoding of GPIO port number that limited support for GPIO ports to 8 + * sched/pg_*.c and *.c and include/nuttx/page.h - Implemented the + common, core logic for on-demand paging. See + http://www.nuttx.org/NuttXDemandPaging.html for details. \ No newline at end of file diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 62cbcf5124..203651a679 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -8,7 +8,7 @@

NuttX RTOS

-

Last Updated: August 12, 2010

+

Last Updated: August 14, 2010

@@ -344,6 +344,14 @@

+ +
+ +

+

  • On-demand paging.
    • +

    + +
    @@ -1879,6 +1887,9 @@ nuttx-5.9 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr> GPIO interrupts. * arch/arm/src/lm3s/lm3s_internal.h and lm3s_gpio.c - Fixed the encoding of GPIO port number that limited support for GPIO ports to 8 + * sched/pg_*.c and *.c and include/nuttx/page.h - Implemented the + common, core logic for on-demand paging. See + http://www.nuttx.org/NuttXDemandPaging.html for details. pascal-2.1 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr> @@ -1928,6 +1939,10 @@ buildroot-1.9 2010-xx-xx NX Graphics Subsystem + + + Demand Paging + NuttX README Files diff --git a/Documentation/NuttXDemandPaging.html b/Documentation/NuttXDemandPaging.html index fb0894d6be..1d54ec0911 100755 --- a/Documentation/NuttXDemandPaging.html +++ b/Documentation/NuttXDemandPaging.html @@ -127,7 +127,7 @@

    Overview

    - This document summarizes the design of NuttX on-demand page. + 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 was first discussed in this email thread: http://tech.groups.yahoo.com/group/nuttx/message/213. @@ -143,15 +143,15 @@

  • The MCU must have a (relatively) small block of fast SRAM from which it can execute code. - A size of, say 256Kb (or 192Kb as in the ea3131) would be sufficient for many applications. + A size of, say 256Kb (or 192Kb as in the NXP LPC3131) would be sufficient for many applications.
  • - The MCU has an MMU (again like the ea3131). + The MCU has an MMU (again like the NXP LPC3131).

    • - If the platforms meets these requirement, then NuttX can provide on-demand paging: + 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.

    diff --git a/Documentation/NuttXLinks.html b/Documentation/NuttXLinks.html index 972ae8b0ec..681dc9329f 100755 --- a/Documentation/NuttXLinks.html +++ b/Documentation/NuttXLinks.html @@ -45,6 +45,7 @@
  • NuttShell (NSH)
  • NXFLAT
  • NX Graphics
    • +
  • Demand Paging
  • README Files
  • Change Log
  • To-Do List