Checkpoint: adding support for remote GDB to simulator