Also, is there a way to get a Genode app to output a stack trace - I can patch that warning mesage to output a stack trace and at least see what actually happened?
Please have a look at the 'os/backtrace.h' helper.
https://github.com/genodelabs/genode/blob/master/repos/os/include/spec/x86_6... /os/backtrace.h
To get useful output, please put the following line into the file etc/tools.conf within your build directory.
CC_OPT += -fno-omit-frame-pointer
... and in case it's useful I'll add this:
https://chiselapp.com/user/ttcoder/repository/genode-book/wiki?name=Book:Tip...
This is a (hastily put together) list of hints I collected from the mailing-list and from Norman over time, showing what to do with the backtrace addresses and such.
Cedric