diff options
Diffstat (limited to 'sys/mips/conf/IDT')
| -rw-r--r-- | sys/mips/conf/IDT | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/mips/conf/IDT b/sys/mips/conf/IDT index 3082d1c..116c249 100644 --- a/sys/mips/conf/IDT +++ b/sys/mips/conf/IDT @@ -27,6 +27,7 @@ options BOOTP_WIRED_TO=kr0 options BOOTP_COMPAT # Debugging for use in -current +#options DEADLKRES #Enable the deadlock resolver options INVARIANTS #Enable calls of extra sanity checking options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS |
