From 75dd25e1c1bdc09dfc094c1d07fb6b191edc65b8 Mon Sep 17 00:00:00 2001 From: minhtrannhat Date: Sat, 27 Sep 2025 01:13:01 -0400 Subject: [PATCH] nit: added debugging instructions --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index e89f47f..7dd854c 100644 --- a/README.md +++ b/README.md @@ -18,6 +18,9 @@ - The kernel sources for OS/161 is in the `kern` subdirectory, which has its own configuration script. - The `conf.kern` file determines what source files get included in our kernel build so we might have to modify the file later on. +- Debugging + - Follow the steps at + ## Assignments ### Assignments 1