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
--
Dr.-Ing. Norman Feske
Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-le...@lists.genode.org
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/4XMIOXG7MSWDR4JKL3HW6I4ZGWDVBJS3/
