Fork 0
Genode Packages collection https://git.sr.ht/~ehmry/genodepkgs/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
Emery Hemingway 0093667936
Remove stale patches
3 years ago
NOVA Add NOVA, update release.nix 3 years ago
dhall Refactor for clarity 3 years ago
tool Clean dead expressions 3 years ago
toolchain-overlay Remove stale patches 3 years ago
upstream Add meta to Genode upstream packages 3 years ago
.gitignore Initial commit 4 years ago
README.md Add README 3 years ago
default.nix Add NOVA, update release.nix 3 years ago
platform.nix Nixpkgs overlay 3 years ago
release.nix Add NOVA, update release.nix 3 years ago


An overlayed Nixpkgs for the Genode OS framework

This repo contains Nix expressions for building Genode with Nixpkgs and building Nixpkgs for Genode. At the moment the former is experimental and broken in many cases, the later is probably broken for all cases.


The LLVM cross-compiler may useful already, Clang apparently builds Genode without serious problems. Bootstrapping GCC is not feasible.

To compiler environment may be accessed via the nix-shell utility and the genode.base attribute defined here.

nix-shell «path-to-this-repo» -A genode.base

Bootstrapping the environment on a laptop can take hours.

TODO: easy binary cache configuration