/deprecated/buildtools/romkiteka2/tools/configpaging/
drwxr-xr-x [up]
-rw-r--r-- 2010-10-18 10:23 +0100 740 configpaging.cfg
-rw-r--r-- 2010-10-18 10:23 +0100 2314 configpaging_recommended.cfg
-rw-r--r-- 2010-10-18 10:23 +0100 910 configpaging_stressed.cfg