thanks, I hadn't heard of Genode, this looks really cool