- the pic32 programming connector (labeled PIC32) matches the PICkit pinout exactly - readback protection is off :) firmware can be trivially extracted.

Watchdog initialization and feeding: kibble.sal

Stopping the watchdog (with NxExe watchdog 0): euthasol.sal

Stopping might be as simple as

echo -n "\xBC\x01\0\x02\0\x02D@\0\xBC\x02\0\x02\0\x02\0\x01\xBC\x03\0\x04\0\x04\xCB@\x03\0\0" > /dev/ttymxc2