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