Was following https://genode.org/documentation/developer-resources/getting_started
[paul@betakard genode]$ LANG=C make -C build/x86_32 KERNEL=okl4 BOARD=pc run/demo make: Entering directory '/home/paul/genode/build/x86_32' including /home/paul/genode/tool/run/power_on/qemu including /home/paul/genode/tool/run/log/qemu including /home/paul/genode/tool/run/image/iso including /home/paul/genode/tool/run/boot_dir/okl4 including /home/paul/genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Entering directory '/home/paul/genode/build/x86_32' Library ld.abi.so Library base.lib.a Program app/status_bar/status_bar Program test/nitpicker/testnit make[1]: Leaving directory '/home/paul/genode/build/x86_32' genode build completed checking configuration syntax CHECK init using 'core-okl4.a' as 'core.a' /usr/bin/env: 'python2': No such file or directory while executing "exec [elfweaver] merge --output "[run_dir]/image.elf" "[run_dir].weaver.xml"" (procedure "run_boot_dir" line 37) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 43) invoked from within "build_boot_image [list {*}[build_artifacts] launchpad.config]" (file "/home/paul/genode/repos/os/run/demo.run" line 218) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/paul/genode/tool/run/run" line 1209) make: *** [Makefile:446: run/demo] Error 1 make: Leaving directory '/home/paul/genode/build/x86_32' [paul@betakard genode]$
It is becoming hard to install python2. I am using Arch BTW! :-)
I tried to insall: https://aur.archlinux.org/packages/python2 but: makepkg ... ==> Validating source files with sha512sums... Python-2.7.18.tar.xz ... Passed Python-2.7.18.tar.xz.asc ... Skipped mtime-workaround.patch ... Passed python-gentoo-patches-2.7.18_p16.tar.xz ... Passed ==> Verifying source file signatures with gpg... Python-2.7.18.tar.xz ... FAILED (unknown public key 04C367C218ADD4FF) ==> ERROR: One or more PGP signatures could not be verified! [paul@betakard python2]$
Hello Paul,
using 'core-okl4.a' as 'core.a' /usr/bin/env: 'python2': No such file or directory
thank you raising this point!
Python2 is merely needed for the (orphaned) OKL4 kernel, which is/was unfortunately still mentioned as example on the getting-started page. Even though the steps still work in principle (should anyone have python2 installed), it goes without saying that this kernel is no longer relevant. The fact that it was still recommended on the website is a little bit embarrassing.
Since the book "Genode Foundations" has become the go-to reference for Genode's documentation, the docs on the website were somewhat neglected. Your posting prompted me to consolidate the information today. I removed all material that is covered in better words and more up-to-date in the book. See also [1].
[1] https://github.com/genodelabs/genode/issues/5393
Cheers Norman