Booting kmdb With an Alternate Kernel on the x86 Platform

Use either of the following commands to boot an x86 system with both kmdb and an alternate kernel:

b kmdb -D kernel.test/unix 
b kernel.test/unix -k