#Now for kernel debugging
options KDB
options DDB
options BREAK_TO_DEBUGGER
options ALT_BREAK_TO_DEBUGGER
options INVARIANTS
options INVARIANT_SUPPORT