OpenOCD GDB Server API

This section needs to be expanded.