K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2009-03-20T17:10:50.214301Z
K 7
svn:log
V 198
Revert r190105 so that removing options KDB but DDB or GDB being
available will cause the kernel to not respect -d and boot_kdb=1
for consistency with the other platforms as pointed out by marcel@.

END