From 6c92081a5ac6a971b6a17ec196d3497762603977 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 19 Nov 2008 13:19:37 +0000 Subject: [PATCH] paged mode is default. --- servers/vm/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/servers/vm/main.c b/servers/vm/main.c index 02bf87b7c..b25997240 100644 --- 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); -- 2.44.0