From 2e721daedf1c425946d7cc410074cf546bc25a78 Mon Sep 17 00:00:00 2001 From: Geoffrey Challen Date: Thu, 31 Dec 2015 14:31:22 -0500 Subject: [PATCH] Small change to configuration file. --- kern/conf/DUMBVM | 1 + 1 file changed, 1 insertion(+) diff --git a/kern/conf/DUMBVM b/kern/conf/DUMBVM index 7862c64..3216e1f 100644 --- a/kern/conf/DUMBVM +++ b/kern/conf/DUMBVM @@ -30,3 +30,4 @@ options sfs # Always use the file system #options netfs # You might write this as a project. options dumbvm # Chewing gum and baling wire. +#options synchprobs # Uncomment to enable ASST1 synchronization problems