Dear Alice,
/home/alice/Repos/genode/build/tool_chain-25.05/bootstrap/install/x86_64-pc-linux-gnu/bin/ld: cannot find crti.o: No such file or directory
I remember this has to do with cross compiling for a different architecture.
My first hit (I use kagi.com) gives me an example with 32 and 64 bits. And there are many more that point in this directions
stackoverflow.com › questions › 6329887 › how-to-fix-linker-error-cannot-find-crt1-o Feb 2, 2012 The problem is you likely only have the gcc for your current architecture and that's 64bit. You need the 32bit support files.
Cheers, Guido.