Hi Everyone,

While developing applications for Genode I sometimes run into bugs and issues where a debugger would be of great help to figure out what I'm doing wrong. Reading Genode Foundations section 4.7.2 the GDB monitor approach seems to be exactly what I'm looking for.

So when I try the gdb_monitor build-process as described at http://genode.org/documentation/developer-resources/gdb I get the following error message:

$ make app/gdb_monitor
checking library dependencies...
Library-description file gdbserver_platform.mk is missing

Digging a little deeper it seems I do have this file, however it's not available for my platform (Ubuntu Linux 14.04 64bit). Searching the web for this issue I find a post from May 2014 (http://sourceforge.net/p/genode/mailman/message/32372505/) which seems to be the issue I'm running into. The proposed solution is to use 32bit Linux.

What I could do is setup a VM with 32bit Linux and do my debugging here. However I prefer doing my debugging at my workstation natively without switching to a VM whenever I run into an issue.

So I wondered whether there is any way to do my gdb debugging on a 64bit workstation. Did I miss a source which explains how to do things on a 64bit system? Is a gdb_monitor for 64bit Linux on it's way? Would there be any way to use the gdb-monitor for 32bit Linux on my 64bit system? Is there another system in place for 64bit debugging?

Any help would be appreciated.

Kind regards, Menno