diff options
| author | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-14 17:16:42 -0400 |
|---|---|---|
| committer | Michael Foiani <mfoiani@cs.brown.edu> | 2024-05-14 17:16:42 -0400 |
| commit | 53b54f664ed2b4630c23cacc9e216a6a5935b57f (patch) | |
| tree | f0138f1ed2f8894efa560e0e9721e510883f439b /kernel/util | |
| parent | b90313ddfa4c03f688c6c1cd5ded34aff1bf39c5 (diff) | |
fixes to work on dept machine
Diffstat (limited to 'kernel/util')
| -rw-r--r-- | kernel/util/debug.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kernel/util/debug.c b/kernel/util/debug.c index e2a589d..849b60a 100644 --- a/kernel/util/debug.c +++ b/kernel/util/debug.c @@ -19,8 +19,7 @@ * always be the first thing in this variable. Note that this setting can be * changed at runtime by modifying the dbg_modes global variable. */ -#define INIT_DBG_MODES "-all,exec,elf,vm,syscall,print" - +#define INIT_DBG_MODES "-all" /* Below is a truly terrible poll-driven serial driver that we use for debugging * purposes - it outputs to COM1, but * this can be easily changed. It does not use interrupts, and cannot read input |