Hello Frank. :-)
Add polled debug driver support to serial_txx9.c for kgdb, and initialize the driver for the Toshiba RBTX4927.
I think Jason Wessel's kgdb patchset is a way to go.
Somehow I overlooked Jason's patchset. Yes, I agree that is the way to go,
BTW, that patchset already has TX[34]9xx KGDB serial driver...
so my four patches should not be applied.
Well, it's not in the mainline yet anyway...
-Frank
WBR, Sergei
