diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-08-17 01:37:39 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-08-17 01:37:39 +0000 |
commit | 19e95ff894d1861cd7406a45dfd36721601d6385 (patch) | |
tree | 34e9a54c4a83d76a79b4ae6556b57551f3bf0a52 /nuttx/Documentation/NuttxPortingGuide.html | |
parent | b082d08f6137b60e02a646781c2a3d2b34ffab1f (diff) | |
download | px4-nuttx-19e95ff894d1861cd7406a45dfd36721601d6385.tar.gz px4-nuttx-19e95ff894d1861cd7406a45dfd36721601d6385.tar.bz2 px4-nuttx-19e95ff894d1861cd7406a45dfd36721601d6385.zip |
Add on-demand paging support to ARM9 prefetch abort handler
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2860 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/Documentation/NuttxPortingGuide.html')
-rw-r--r-- | nuttx/Documentation/NuttxPortingGuide.html | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/nuttx/Documentation/NuttxPortingGuide.html b/nuttx/Documentation/NuttxPortingGuide.html index 6150823fb..13a4775ef 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: August 14, 2010</p> + <p>Last Updated: August 16, 2010</p> </td> </tr> </table> @@ -2390,6 +2390,26 @@ extern void up_ledoff(int led); If CONFIG_PAGING is selected, then the following also apply: </p> <ul> + </li> + <li> + <code>CONFIG_PAGING_PAGESIZE</code>: + The size of one managed page. + This must be a value supported by the processor's memory management unit. + </li> + <li> + <code>CONFIG_PAGING_NLOCKED</code>: + This is the number of locked pages in the memory map. + The locked address region will then be from <code>CONFIG_DRAM_VSTART</code> through + (<code>CONFIG_DRAM_VSTART</code> + <code>CONFIG_PAGING_PAGESIZE</code>*<code>CONFIG_PAGING_NLOCKED</code>) + </li> + <li> + <code>CONFIG_PAGING_NPAGES</code>: + The number of pages in the paged region of the memory map. + This paged region then begins at + (<code>CONFIG_DRAM_VSTART</code> + <code>CONFIG_PAGING_PAGESIZE</code>*<code>CONFIG_PAGING_NLOCKED</code>) + and continues until (<code>CONFIG_DRAM_VSTART</code> + + <code>CONFIG_PAGING_PAGESIZE</code>*(<code>CONFIG_PAGING_NLOCKED</code> + <code>CONFIG_PAGING_NPAGES</code>) + </li> <li> <code>CONFIG_PAGING_DEFPRIO</code>: The default, minimum priority of the page fill worker thread. |