Trace port extention for GDB