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

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