From 1c7aa6edda81e2a2138a69f2b7880a2c83b5a14a Mon Sep 17 00:00:00 2001
From: minhtrannhat <minh@minhtrannhat.com>
Date: Mon, 3 Mar 2025 20:57:15 -0500
Subject: [PATCH] squash: prep for AST1

---
 kern/conf/DUMBVM    | 1 +
 kern/conf/conf.kern | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/kern/conf/DUMBVM b/kern/conf/DUMBVM
index 2a19bee..d7c3a8b 100644
--- a/kern/conf/DUMBVM
+++ b/kern/conf/DUMBVM
@@ -32,3 +32,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
diff --git a/kern/conf/conf.kern b/kern/conf/conf.kern
index ad58977..7f0f329 100644
--- a/kern/conf/conf.kern
+++ b/kern/conf/conf.kern
@@ -441,3 +441,8 @@ file		test/semunit.c
 file		test/kmalloctest.c
 file		test/fstest.c
 optfile net	test/nettest.c
+
+defoption synchprobs
+optfile   synchprobs synchprobs/whalemating.c
+optfile   synchprobs synchprobs/stoplight.c
+optfile   synchprobs test/synchprobs.c