Sigil OS
Go to file
Emery Hemingway 15d3588f33 Update flake 2019-12-26 14:37:00 +05:30
LICENSES License under Hippocratic-1.1 2019-09-27 12:38:35 +02:00
NOVA Build NOVA in parallel 2019-10-07 20:35:45 +02:00
dhall Bump dhall-genode 2019-11-17 13:24:08 +01:00
lib Use cross-compliation pairs in Flake 2019-12-02 18:05:59 +01:00
nixos Prune dead code, improve readibility, update README 2019-12-14 14:23:50 +00:00
pkgs Move upstream build to external flake 2019-12-02 18:05:59 +01:00
tests Remove libc test 2019-12-02 18:05:59 +01:00
tool Clean dead expressions 2019-09-25 13:48:34 +02:00
.gitignore License under Hippocratic-1.1 2019-09-27 12:38:35 +02:00
.gitmodules Update dhall-haskell, enable tests for Hydra 2019-10-10 00:49:18 +02:00
README.md Prune dead code, improve readibility, update README 2019-12-14 14:23:50 +00:00
flake.lock Update flake 2019-12-26 14:37:00 +05:30
flake.nix Update flake 2019-12-26 14:37:00 +05:30
packages.nix Use cross-compliation pairs in Flake 2019-12-02 18:05:59 +01:00

README.md

Genode Packages

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.

Furthermore, this repository is structured as a Nix flake, with is in itself an experimental extension of the Nix utility. The flakes capable nix frontend is available from Nixpkgs as nixFlakes. It is possible to bootstrap to flakes by installing Nix on a standard Linux distro, followed by nix-env -i nixFlakes. Flakes are available from NixOS using the following expression: { pkgs, ... }: { nix.package = pkgs.nixFlakes; }

Toolchain

The LLVM cross-compiler may useful already, Clang apparently builds trivial Genode componenents without serious problems. Bootstrapping GCC is not practical due to the recursive autotools build system.

The compiler environment for x86_64 should be accessible from the stdenv at the path .#packages.x86_64-linux-x86_64-genode.stdenv. There is currently no recommendations for integrating the compiler within external build systems.

Bootstrapping the LLVM toolchain on a laptop can take hours, so personally I farm out the builds. If you interested in binaries please contact me and we can
setup a cache.