2
0
Fork 0
genodepkgs/packages/default.nix

100 lines
2.6 KiB
Nix
Raw Normal View History

2020-01-16 17:38:23 +01:00
# SPDX-License-Identifier: CC0-1.0
2019-09-27 12:38:35 +02:00
2020-03-27 08:05:41 +01:00
{ nixpkgs }:
2019-07-30 12:48:01 +02:00
2019-11-05 17:38:47 +01:00
let
inherit (nixpkgs) callPackage genodeSources;
inherit (genodeSources) buildUpstream;
dhallPackages = nixpkgs.buildPackages.callPackage ./dhall { };
buildWorld = let
2020-03-27 08:05:41 +01:00
genodeWorld = nixpkgs.fetchFromGitHub {
owner = "genodelabs";
repo = "genode-world";
rev = "0ed545e55a90c39df23a86eb733961de71d56241";
hash = "sha256-sirmUtLmZ5YnfLKrOvOBafnZW3UW+1LtkiGu85Ma820=";
};
in attrs:
genodeSources.buildUpstream (attrs // {
postConfigure =
"echo REPOSITORIES += ${genodeWorld} >> build/etc/build.conf";
});
genodeTupRules = ./Tuprules.tup;
2019-11-05 17:38:47 +01:00
in rec {
inherit (nixpkgs) stdenv genodeSources;
base-hw-pc = buildUpstream {
name = "base-hw-pc";
outputs = [ "out" "coreObj" "bootstrapObj" ];
KERNEL = "hw";
BOARD = "pc";
targets = [ "bootstrap" "core" "timer" "lib/ld" ];
postInstall = ''
mv $out/core-hw-pc.o $coreObj
mv $out/bootstrap-hw-pc.o $bootstrapObj
mv $out/ld-hw.lib.so $out/ld.lib.so
mv $out/hw_timer_drv $out/timer_drv
'';
};
base-linux = buildUpstream {
name = "base-linux";
KERNEL = "linux";
targets = [ "core" "timer" "lib/ld" ];
postInstall = ''
mkdir -p $out/lib
mv $out/ld-linux.lib.so $out/lib/ld.lib.so
mv $out/linux_timer_drv $out/timer_drv
'';
2020-03-27 08:05:41 +01:00
HOST_INC_DIR = nixpkgs.buildPackages.glibc.dev + "/include";
};
base-nova = buildUpstream {
name = "base-nova";
outputs = [ "out" "coreObj" ];
KERNEL = "nova";
2020-02-24 14:19:57 +01:00
targets = [ "core" "timer" "lib/ld" ];
postInstall = ''
mv $out/core-nova.o $coreObj
mv $out/ld-nova.lib.so $out/ld.lib.so
mv $out/nova_timer_drv $out/timer_drv
'';
};
init = nixpkgs.genodeSources.make "init";
2020-02-27 18:17:14 +01:00
ssh_client = buildWorld {
name = "ssh_client";
targets = [ "app/ssh_client" ];
portInputs = with genodeSources.ports; [ libc libssh openssl zlib ];
};
2020-03-27 08:05:41 +01:00
bender = nixpkgs.buildPackages.callPackage ./bender { };
2020-03-22 06:11:46 +01:00
block_router = let
2020-03-27 08:05:41 +01:00
src = nixpkgs.fetchgit {
2020-03-22 06:11:46 +01:00
url = "https://git.sr.ht/~ehmry/block_router";
rev = "dd78a4824bbc28c5760fda55e9d5dd23cbee8ecf";
sha256 = "1444nfgbgqggmyhjh81aac3mwixh7h6m1qmk8ikinf8gnl9mbngx";
};
in buildUpstream {
name = "block_router";
targets = [ "block_router" ];
postConfigure = ''
echo REPOSITORIES += ${src} >> $BUILD_DIR/etc/build.conf
'';
};
2019-11-05 17:38:47 +01:00
dhallGenode = dhallPackages.genode;
2020-03-27 08:05:41 +01:00
NOVA = callPackage ./NOVA { };
solo5 = let drv = callPackage ./solo5 { };
in drv // { tests = drv.tests // { pname = "solo5-tests"; }; };
sotest-producer = callPackage ./sotest-producer { };
}