1 files changed, 4 insertions, 0 deletions
diff --git a/pk/pk.c b/pk/pk.c
index 954bcb3..6a27b4e 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -16,6 +16,10 @@ static void handle_option(const char* s)
       current.cycle0 = 1;
       break;
 
+    case 'p': // disable demand paging
+      demand_paging = 0;
+      break;
+
     default:
       panic("unrecognized option: `%c'", s[1]);
       break;