Resolved the issue. I have made a package named genode-dev which you can check at https://notabug.org/sagaracharya/hyperbola_os%C2%A0.

Steps to install. 1. Clone repo. 2. Go to directory of genode-dev. 3. makepkgOptional: If a dependency is not installed, go to that dependency's directory and use ../build.sh or makepkg

You should be able to install it on systems with doas. It builds the toolchain which takes about 2.5 hours.

To install on systems with sudo, edit genode-dev.install and remove SUDO=doas , use sha512sum genode-dev.install and update the sha512sums of PKGBUILD , and then use makepkg.

Thanking you Sagar Acharya

Feb 22, 2022, 22:50 by users@lists.genode.org:

Hey folks,

I'm almost done with a PKGBUILD which would set up a Genode development environment for Arch like OSes.

I'm facing the following error:

...installing tool chain to '/usr/local/genode/tool/21.05'... bash: line 1: sudo: command not found make: *** [tool/tool_chain:489: install] Error 127

Tool for preparing Genode build directories ...

Hyperbola uses OpenBSD's doas. I guess Genode uses sudo. Can someone please patch this for doas too? Once it's completed, it can be used by users of Archlinux, Hyperbola, Parabola OSes. Thanking you Sagar Acharya

---

Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users