The files in this directory started out life as code shared between the nindy monitor and GDB. For various reasons, this is no longer true. Eventually, they probably should be merged into remote-nindy.c.