The Embecosm GDB Remote Serial Prototol proxy as described in Embecosm Software Package 7