Hello Adrian,
On Thu, Dec 17, 2015 at 02:10:03PM +0100, a3an wrote:
Another question: how do I build tool_chain_rump ?
The RUMP tool chain can be build with a script that is located in <genode dir>/tool/tool_chain_rump. Please note, the script should be executed from a temporary directory as it downloads and builds a pile of libraries and programs to the current working directory.
Regards