paged mode is default.

diff --git a/servers/vm/main.c b/servers/vm/main.c
index 02bf87b7cd1f7c2e26b3636f90294ea8b8e638d5..b25997240a2e920289b318478e25943086d77202 100644 (file)
--- a/servers/vm/main.c
+++ b/servers/vm/main.c
@@ -67,7 +67,7 @@ PUBLIC int main(void)
 #endif
        SANITYCHECK(SCL_TOP);
 
-  vm_paged = 0;
+  vm_paged = 1;
   env_parse("vm_paged", "d", 0, &vm_paged, 0, 1);
 #if SANITYCHECKS
   env_parse("vm_sanitychecklevel", "d", 0, &vm_sanitychecklevel, 0, SCL_MAX);