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

Reply via email to