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