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" <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > Archived at > https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/4EP4PMG4KS6YDK3EEUPA5FV3UDWVG5C6/
genode.nix
Description: Binary data
shell.nix
Description: Binary data
toolchain.nix
Description: Binary data
_______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/HL6ZT6DXYFPIKWUD2YB2VZIB6V4P2ZWC/
