シリアルコンソール上でのkdbの有効化

ドキュメントがあんまりしっかりしてないのでここに書いておく。
ちなみにkdbというのは*BSDでいうddbである（説明になっていない。

まず、カーネルの.configでこのあたりを有効にしてみる：

CONFIG_KGDB_KDB=y
CONFIG_KDB_KEYBOARD=y
CONFIG_HAVE_ARCH_KGDB=y
CONFIG_KGDB_SERIAL_CONSOLE=y
# CONFIG_KGDB_TESTS is not set
CONFIG_KGDB_LOW_LEVEL_TRAP=y

んでもって、boot parameterにkgdbocを足す：

console=ttyS0,9600n8r kgdboc=ttyS0,9600

以上。