From df3e6dd29d0092a4fbb993f0d4b5aa8c6b8add90 Mon Sep 17 00:00:00 2001 From: patacongo Date: Sun, 15 Aug 2010 21:50:50 +0000 Subject: Document on-demand paging configuration settings git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2858 42af7a65-404d-4744-a932-0658087f49c3 --- nuttx/Documentation/NuttxPortingGuide.html | 40 ++++++++++++++++++++++++++++++ nuttx/configs/README.txt | 25 +++++++++++++++++++ 2 files changed, 65 insertions(+) (limited to 'nuttx') diff --git a/nuttx/Documentation/NuttxPortingGuide.html b/nuttx/Documentation/NuttxPortingGuide.html index 428537f65..6150823fb 100644 --- a/nuttx/Documentation/NuttxPortingGuide.html +++ b/nuttx/Documentation/NuttxPortingGuide.html @@ -2375,6 +2375,46 @@ extern void up_ledoff(int led); +

+ OS setup related to on-demand paging: +

+ + +

+ If CONFIG_PAGING is selected, then the following also apply: +

+

The following can be used to disable categories of APIs supported by the OS. If the compiler supports weak functions, then it diff --git a/nuttx/configs/README.txt b/nuttx/configs/README.txt index 7bfdd65dc..23ea00bd3 100644 --- a/nuttx/configs/README.txt +++ b/nuttx/configs/README.txt @@ -262,6 +262,31 @@ defconfig -- This is a configuration file similar to the Linux CONFIG_SIG_SIGWORK - The signal number that will be used to wake-up the worker thread. Default: 4 + OS setup related to on-demand paging: + + + CONFIG_PAGING - If set =y in your configation file, this setting will + enable the on-demand paging feature as described in + http://www.nuttx.org/NuttXDemandPaging.html. + + If CONFIG_PAGING is selected, then the following also apply: + + CONFIG_PAGING_DEFPRIO - The default, minimum priority of the page fill + worker thread. The priority of the page fill work thread will be boosted + boosted dynmically so that it matches the priority of the task on behalf + of which it peforms the fill. This defines the minimum priority that + will be used. Default: 50. + CONFIG_PAGING_STACKSIZE - Defines the size of the allocated stack + for the page fill worker thread. Default: 1024. + CONFIG_PAGING_BLOCKINGFILL - The architecture specific up_fillpage() + function may be blocking or non-blocking. If defined, this setting + indicates that the up_fillpage() implementation will block until the + transfer is completed. Default: Undefined (non-blocking). + CONFIG_PAGING_TIMEOUT_TICKS - If defined, the implementation will monitor + the (asynchronous) page fill logic. If the fill takes longer than this + number if microseconds, then a fatal error will be declared. + Default: No timeouts monitored. + The following can be used to disable categories of APIs supported by the OS. If the compiler supports weak functions, then it should not be necessary to disable functions unless you want to -- cgit v1.2.3