Hi Michael,
So I have now converted the whole thing to use a pointer , which is allocated using the Genode API. It doesn't work, getting exec faults from ram. But I will get there.
Just one more related question. Can exec fault reported by Genode mean a invalid instruction or is it just that it can't exec it?
It is hard to tell remotely. Such problems are best debugged by running Genode on Linux where GDB is readily available. Assuming that your port of RPCEmu works fine on Genode/Linux, you may find the following article useful:
https://genodians.org/ssumpf/2019-04-26-java-gdb
Cheers Norman