GDB stub support has been added to the RCE core for the petacache. See Debugging the DAT on an RCE for usage and requirements.