Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
lib/systems: Add Genode platform definitions #83292
Motivation for this change
Genode is a post-UNIX operating system framework featuring capability-based security, user-mode drivers, and a kernel-agnostic system ABI. Genode can emulate enough of POSIX that a significant portion of Nixpkgs should work in theory. For demonstrations of Genode on x86 and ARM see the following recordings from FOSDEM'20: https://fosdem.org/2020/schedule/event/uk_sculpt/ https://fosdem.org/2020/schedule/event/uk_genode_armv8/.
This patchs adds the
Porting Nix to Genode has been tried before, however I don't believe it is practical for the foreseeable future. It is however possible to build a Genode hypervisor system with NixOS guest VMs within a single expression, so cross-compilation is still useful.
I have a working LLVM toolchain and I'm building simple systems that I can boot on my laptop.
Add platform definitions for 64-bit ARM and x86. This is sufficient for for building Genode where a toolchain is provided as an overlay. Toolchain: git+https://git.sr.ht/~ehmry/genodepkgs?rev=14fc773ac9ecd2cbb30cb4612b284eee83d83546