Using GDB via a Serial Link to Debug a Running Kernel

Needs to be written...