diff options
| author | sotech117 <michael_foiani@brown.edu> | 2024-05-13 12:10:55 +0000 |
|---|---|---|
| committer | sotech117 <michael_foiani@brown.edu> | 2024-05-13 12:10:55 +0000 |
| commit | 7585cb5ad84babe9db8c6595de464e33fb878f0c (patch) | |
| tree | 3acdd29920420ca341ea7e3f90d60b16c384ce51 /kernel/util | |
| parent | f09878f6327426631d9419d825a4e8396e3b9dc4 (diff) | |
s5 fixes and issues with weenix
Diffstat (limited to 'kernel/util')
| -rw-r--r-- | kernel/util/debug.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/util/debug.c b/kernel/util/debug.c index fab63e7..e2a589d 100644 --- a/kernel/util/debug.c +++ b/kernel/util/debug.c @@ -19,7 +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" +#define INIT_DBG_MODES "-all,exec,elf,vm,syscall,print" /* Below is a truly terrible poll-driven serial driver that we use for debugging * purposes - it outputs to COM1, but |