2022-02-23-Setting-Up-Genode-developing-environment-for-Arch-like-systems.txt 1.2 KB

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