17 Dec
2015
17 Dec
'15
1:30 p.m.
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.