What IDE setup do you use for remote debugging with GDB/KGDB and OpenOCD? - EdgeBench