Hi! I am coming back to Genode after a few year of absence.

I am on Fedora 32, x64 architecture.

So I installed: genode-toolchain-19.05-x86_64.tar.xz , downloaded genode-20.02 (tought I first it was the toolchain...).

Then began to read: https://genode.org/documentation/genode-foundations/19.05/getting_started/Us...

and now when I do:

[paul@localhost x86_64]$ make run/demo KERNEL=linux BOARD=linux including /home/paul/genode-20.02/tool/run/power_on/linux including /home/paul/genode-20.02/tool/run/log/linux including /home/paul/genode-20.02/tool/run/boot_dir/linux including /home/paul/genode-20.02/repos/os/run/demo.run building targets:  app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1] : on entre dans le répertoire « /home/paul/genode-20.02/build/x86_64 » checking library dependencies...   Library ldso-startup   Library ld   Library base   Program test/nitpicker/testnit   Program app/status_bar/status_bar make[1] : on quitte le répertoire « /home/paul/genode-20.02/build/x86_64 » genode build completed

Error: missing depot archives:        genodelabs/bin/x86_64/base-linux/2020-02-27        genodelabs/bin/x86_64/demo/2020-02-27        genodelabs/bin/x86_64/fb_sdl/2020-02-27        genodelabs/bin/x86_64/global_keys_handler/2020-02-27        genodelabs/bin/x86_64/init/2020-02-27        genodelabs/bin/x86_64/input_filter/2020-02-27        genodelabs/bin/x86_64/nit_focus/2020-02-27        genodelabs/bin/x86_64/nitpicker/2020-02-27        genodelabs/bin/x86_64/report_rom/2020-02-27        genodelabs/bin/x86_64/rom_filter/2020-02-27

You may create the following archives locally:

/home/paul/genode-20.02/tool/depot/create genodelabs/bin/x86_64/base-linux genodelabs/bin/x86_64/demo genodelabs/bin/x86_64/fb_sdl genodelabs/bin/x86_64/global_keys_handler genodelabs/bin/x86_64/init genodelabs/bin/x86_64/input_filter genodelabs/bin/x86_64/nit_focus genodelabs/bin/x86_64/nitpicker genodelabs/bin/x86_64/report_rom genodelabs/bin/x86_64/rom_filter CROSS_DEV_PREFIX=/usr/local/genode/tool/19.05/bin/genode-x86-

make: *** [Makefile:324: run/demo] Error 1

But when I do the given I command I get:

Program lib/initramfs/lx_init     BUILD    initramfs /usr/bin/ld: cannot find -lc collect2: error: ld returned 1 exit status make[6]: *** [/home/paul/genode-20.02/depot/genodelabs/src/base-linux/2020-02-27/src/lib/initramfs/target.mk:12: initramfs] Error 1 make[5]: *** [var/libdeps:109: lx_init.prg] Error 2 make[4]: *** [Makefile:287: gen_deps_and_build_targets] Error 2 make[3]: *** [/home/paul/genode-20.02/tool/depot/mk/build_bin_archive:200: /home/paul/genode-20.02/depot/genodelabs/bin/x86_64/base-linux/2020-02-27.build/bin] Error 1 make[2]: *** [/home/paul/genode-20.02/depot/var/build.mk:48: genodelabs/bin/x86_64/base-linux/2020-02-27] Error 2 make[1]: *** [/home/paul/genode-20.02/tool/depot/build:134: execute_generated_build_mk_file] Error 2 make: *** [/home/paul/genode-20.02/tool/depot/create:59: build] Error 2 [paul@localhost x86_64]$ make run/demo KERNEL=linux BOARD=linux including /home/paul/genode-20.02/tool/run/power_on/linux including /home/paul/genode-20.02/tool/run/log/linux including /home/paul/genode-20.02/tool/run/boot_dir/linux including /home/paul/genode-20.02/repos/os/run/demo.run building targets:  app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1] : on entre dans le répertoire « /home/paul/genode-20.02/build/x86_64 » checking library dependencies...   Library ldso-startup   Library ld   Library base   Program test/nitpicker/testnit   Program app/status_bar/status_bar make[1] : on quitte le répertoire « /home/paul/genode-20.02/build/x86_64 » genode build completed

So, rather than just give up, I am writing this message.