@ -3,13 +3,14 @@
{ nixpkgs }:
let
inherit ( nixpkgs ) callPackage genodeSources ;
inherit ( nixpkgs )
buildPackages callPackage fetchFromGitHub fetchgit genodeSources stdenv ;
inherit ( genodeSources ) buildUpstream ;
dhallPackages = nixpkgs. buildPackages. callPackage ./dhall { } ;
dhallPackages = buildPackages. callPackage ./dhall { } ;
buildWorld = let
genodeWorld = nixpkgs. fetchFromGitHub {
genodeWorld = fetchFromGitHub {
owner = " g e n o d e l a b s " ;
repo = " g e n o d e - w o r l d " ;
rev = " 0 e d 5 4 5 e 5 5 a 9 0 c 3 9 d f 2 3 a 8 6 e b 7 3 3 9 6 1 d e 7 1 d 5 6 2 4 1 " ;
@ -24,7 +25,7 @@ let
genodeTupRules = ./Tuprules.tup ;
in rec {
inherit ( nixpkgs ) stdenv genodeSources ;
inherit stdenv genodeSources ;
base-hw-pc = buildUpstream {
name = " b a s e - h w - p c " ;
@ -49,7 +50,7 @@ in rec {
mv $ out/ld-linux.lib.so $ out/lib/ld.lib.so
mv $ out/linux_timer_drv $ out/timer_drv
'' ;
HOST_INC_DIR = nixpkgs. buildPackages. glibc . dev + " / i n c l u d e " ;
HOST_INC_DIR = buildPackages. glibc . dev + " / i n c l u d e " ;
} ;
base-nova = buildUpstream {
@ -64,7 +65,7 @@ in rec {
'' ;
} ;
init = nixpkgs. genodeSources. make " i n i t " ;
init = genodeSources. make " i n i t " ;
ssh_client = buildWorld {
name = " s s h _ c l i e n t " ;
@ -72,10 +73,10 @@ in rec {
portInputs = with genodeSources . ports ; [ libc libssh openssl zlib ] ;
} ;
bender = nixpkgs. buildPackages. callPackage ./bender { } ;
bender = buildPackages. callPackage ./bender { } ;
block_router = let
src = nixpkgs. fetchgit {
src = fetchgit {
url = " h t t p s : / / g i t . s r . h t / ~ e h m r y / b l o c k _ r o u t e r " ;
rev = " d d 7 8 a 4 8 2 4 b b c 2 8 c 5 7 6 0 f d a 5 5 e 9 d 5 d d 2 3 c b e e 8 e c f " ;
sha256 = " 1 4 4 4 n f g b g q g g m y h j h 8 1 a a c 3 m w i x h 7 h 6 m 1 q m k 8 i k i n f 8 g n l 9 m b n g x " ;