GDB stub that allows debugging of embedded devices