https://genode.org/documentation/developer-resources/getting_started

https://genode.org/download/tool-chain

doesn't work on busybox/linux

# autoconf-2.64 autogen gcc-ada
git clone git@source.heropunch.io:tomo/genode.git
cd genode
./tool/tool_chain

TomoOS/genode-build-notes (last edited 2018-09-20 03:06:48 by xj9)