diff -r 000000000000 -r 83f4b4db085c imgtools_os/romkiteka2/tools/configpaging/configpaging.cfg --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/imgtools_os/romkiteka2/tools/configpaging/configpaging.cfg Tue Feb 02 01:39:43 2010 +0200 @@ -0,0 +1,27 @@ +# +# System config v1.0 +# + +# +# 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. + +include "configpaging_recommended.cfg"