Setting Up Genode developing environment for Hyperbola OS
Hyperbola OS is an OS where all softwares are critically checked for freedom compatibility. It is based on Arch Linux and is moving towards OpenBSD's kernel. I have created a package for Hyperbola OS which should work for all Arch based OSes. Basically, you can install all dependencies and build a Genode toolchain automatically with the following command with root permissions:
pacman -S genode-dev
Currently, follow the following steps to install Genode environment:
git clone https://notabug.org/sagaracharya/hyperbola_os cd hyperbola_os/genode-dev makepkg
You can also use ../build.sh which builds in a chroot and is more secure in case all dependency packages are available at your OS repos.
If any dependency isn't satisfied, install it with pacman. If it doesn't exist in your OS, check within hyperbola_os directory and proceed as follows,
cd <package_name> ../build.sh OR makepkg
Above instructions work for doas utility which is default in Hyperbola OS.
Edit genode-dev.install and remove " SUDO=doas"
Update 2nd sha512sum of new genode-dev.install file using sha512sum utility on GNU/Linux
Report any issues on notabug.