I have been trying to use KGDB with the SABRE-SD in order to debug a driver. It seems to be working but once I drop into KGDB the SABRE-SD board resets after about five seconds. I expect this is due to a watchdog timer expiring now that the kernel is not petting the dog. What is the easiest way to disable the watchdog timer or enable KGDB to resest it periodically while the kernel is halted?
I'm using Android JB4.3 from Freescale.