Hyperbola OS package (Arch based) for setting Genode development environment

[Sagar Acharya]

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