2
0
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.
 
 
 
 
 
Emery Hemingway 4aba5a4e85 Convert flake to a attrset of systems 3 years ago
LICENSES License under Hippocratic-1.1 3 years ago
NOVA Build NOVA in parallel 3 years ago
depot Add pinned test binaries 3 years ago
dhall Use "record override" syntatic-sugar in Dhall test configs 3 years ago
pkgs Initial Nix flake 3 years ago
tests Convert flake to a attrset of systems 3 years ago
tool Clean dead expressions 3 years ago
toolchain-overlay Update dhall-haskell, enable tests for Hydra 3 years ago
upstream Update Genode sources, test Nix-built core 3 years ago
.gitignore License under Hippocratic-1.1 3 years ago
.gitmodules Update dhall-haskell, enable tests for Hydra 3 years ago
README.md Update README 3 years ago
dhall-haskell.nix Update dhall-haskell, enable tests for Hydra 3 years ago
dhallPinnedNixpkgs.nix Update dhall-haskell, enable tests for Hydra 3 years ago
flake.lock Update flake 3 years ago
flake.nix Convert flake to a attrset of systems 3 years ago
nixpkgs.nix Update Nixpkgs revision 3 years ago
packages.nix Convert flake to a attrset of systems 3 years ago
platform.nix License under Hippocratic-1.1 3 years ago

README.md

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.

Toolchain

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.

Continuous builds

C3D2 hydra

Hardware for continuous builds provided by Chaos Computer Club Dresden.

The first hydra is located at https://hydra.hq.c3d2.de/project/genodepkgs.

The following NixOS module will enable use of this Hydra as a cache:

{ ... }: {
  nix = {
    trustedUsers = [ «your-user»  ];

    trustedBinaryCaches = [
      "https://nix-serve.hq.c3d2.de"
    ];

    binaryCachePublicKeys = [
      "nix-serve.hq.c3d2.de:FEi9GyFkou1Ua8INaEKmuGaww9E5y3XwrNGNRfKYeLo="
    ];
  };
}