On 17.12.2015 14:10, a3an wrote: > Thanks Alex. > Another question: how do I build tool_chain_rump ? In the genode repository in the tool/ directory you find a script called "tool_chain_rump" If you just invoke it without parameters in a shell it tells you what to do, e.g. how to build and install. Cheers, Alex.