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. ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main