Dear Guido,

Thank you for your reply and help!

I had a look at the flake you shared, indeed this would work :)

I hoped, I could get the toolchain compiling. The solution you have, is using patchelf. Which also works great! I may go that direction after all.

In the mean time, I had a look at how others did, and could get to the point that I have much things compiling successfully, but I eventually end up with that error for libgcc:

``` <...> mkdir -p -- x86_64-pc-linux-gnu/libgcc Checking multilib configuration for libgcc... Configuring stage 1 in x86_64-pc-linux-gnu/libgcc /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 /home/alice/Repos/genode/build/tool_chain-25.05/bootstrap/install/x86_64-pc-linux-gnu/bin/ld: cannot find crtn.o: No such file or directory collect2: error: ld returned 1 exit status make[4]: *** [Makefile:1012: libgcc_s.so] Error 1 make[3]: *** [Makefile:23184: all-stage1-target-libgcc] Error 2 make[2]: *** [Makefile:26246: stage1-bubble] Error 2 make[1]: *** [Makefile:1111: all] Error 2 make: *** [tool/tool_chain:412: /home/alice/Repos/genode/build/tool_chain-25.05/bootstrap/gcc/gcc/xg++] Error 2

```

Actually, I am unsure if the error is caused by the nix's environment, or if something just went wrong for some reason...

Cheers, Alice On 1/29/26 13:39, Guido wrote:

Hi Alice,

I remember that Emery H did a port of genode to Nix. However, I could not find that on my computer, but I believe it must be out there.

I did find some .nix files to compile the toolchain, a shell and a Genode repository on my disks. Although old and maybe broken by years of 'Nix-progress' they might be a good starting point. Please see the attachments.

Cheers, Guido Witmond.

On Wed, 28 Jan 2026 11:02:51 +0100 "alice.domage--- via users" users@lists.genode.org wrote:

...

Dear Genodians,

Has anyone already built the toolchain for nixos? and happens to have a `flake.nix` or a `.nix` source file that can build it, I think those are called 'derivation'.

I am currently down that rabbit hole, and have the following error:

$ ./tool/tool_chain x86
<...>
The directory (BUILD_SYSTEM_HEADER_DIR) that should contain system
headers does not exist:
      /usr/include

I haven't modified the `tool/tool_chain` tool or patched configure to adjusted standard paths, to point to their respective 'stores' yet. I only have adjusted the shebangs to `#!/usr/bin/env -S ...` where needed.

Cheers, alice _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-leave@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/mes...