The node you are looking for is at
Using openocd SMP with GDB
.