RPCEmu on Genode

Hi

I am working on getting the RPCEmu (RiscPC emulator) to run on Genode. I have a some problems , and will list some of them,

1) Graphics doesn't update without exposing it. I have used testnit as a base and uses blit function to push out pixels to screen. How can I make it redraw? 2) When trying ro use the JIT version Genode complains about non executable memory. Any idea what that might be?

I use base hw on x86_64.

Screenshot: https://twitter.com/QtARM/status/1316535724959727620 (real hw) Best regards

Michael Grunditz