Debugging Genode applications on Ubuntu 14.04 64bit

[Menno Valkema]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20151210/6bd73987/attachment.html>