diff -r 000000000000 -r 83f4b4db085c imgtools_os/romkiteka2/tools/configpaging/configpaging_stressed.cfg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/imgtools_os/romkiteka2/tools/configpaging/configpaging_stressed.cfg Tue Feb 02 01:39:43 2010 +0200 @@ -0,0 +1,33 @@ +# +# Stressed paging configuration +# + +# +# To set the default setting use: +# defaultpaged +# Or +# defaultunpaged +# +# This will override the paged/unpaged flags in executables and any paged/unpaged attributes in iby files. +# Do not use a default setting if the existing paged/unpaged flags/attributes are to be respected. +# +# To mark executables as not pageable use: +# unpaged +# Or +# unpaged: +# +# +# +# To include other configuration files within this configuration file use: +# include "" +# +# Included files will be processed before the remaining lines of the parent file are processed. Included files +# can themselves include other other files. + +defaultpaged + +# +# mandatory locked-down list. This should only contain executables that use realtime APIs and their +# dependencies, which would otherwise panic if they took a page fault +# +#unpaged: