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