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
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/includeI 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...
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/includeI 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...