3e5a94e2ab
with 'options DDB'). Setting this to `ddb' or `gdb' breaks into the kernel debugger in the corresponding mode. This mechanism has proven very useful at Whistle for setting breakpoints, etc., while doing remote serial line kernel debugging. Obtained from: Whistle source tree