Apparently not.
Just looking at the printed material, I've got the Device Driver volume 1 that describes the structure, interrupt, building and helper APIs (e.g. PhysToVirt, QueueXXX, Block, Run, Yield, etc..), but nothing on the subject of a kernel debugger.