Hello
I have managed to build unicorn and to some extent it works..
http://micken.se/pix/genode_unicorn.jpg
The little piece of arm code has been emulated , put 0x1234 into R0.
But as you can see there are a whole lot of issues.
Is it possible to use Genode api inside a libc app? I hope so.
Michael