It is with great interest that I watched this video:
Around 1:56 the speaker says:
"If you're not exactly thrilled with how we did the GDB server, no problem. It's open source and you can get it from us, for free. Just ask us. Let's work together."
Where can I get it from? Who do I have to ask?