Doxygen pages for gdbserver