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