DCC device driver and gdb server