Sigil OS
Go to file
Ehmry - 2a230ea26b Add README 2019-09-25 13:48:34 +02:00
dhall Refactor for clarity 2019-09-25 13:48:34 +02:00
tool Clean dead expressions 2019-09-25 13:48:34 +02:00
toolchain-overlay Refactor for clarity 2019-09-25 13:48:34 +02:00
upstream Refactor for clarity 2019-09-25 13:48:34 +02:00
.gitignore Initial commit 2019-08-18 16:07:11 +02:00 Add README 2019-09-25 13:48:34 +02:00
default.nix Refactor for clarity 2019-09-25 13:48:34 +02:00
platform.nix Nixpkgs overlay 2019-09-25 13:48:26 +02:00
release.nix Build upstream with Hydra 2019-09-25 13:48:34 +02:00

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