2020-11-06 20:59:33 +01:00
|
|
|
{ flake, pkgs }:
|
2019-07-30 12:48:01 +02:00
|
|
|
|
2019-11-05 17:38:47 +01:00
|
|
|
let
|
2020-11-06 20:59:33 +01:00
|
|
|
upstream = import ./genodelabs { inherit flake pkgs; };
|
|
|
|
inherit (upstream) genodeSources;
|
|
|
|
|
|
|
|
inherit (pkgs) buildPackages callPackage fetchFromGitHub fetchgit stdenv;
|
2020-01-15 19:28:18 +01:00
|
|
|
|
2020-10-22 19:58:10 +02:00
|
|
|
dhallPackages =
|
|
|
|
flake.inputs.nixpkgs.legacyPackages.x86_64-linux.callPackage ./dhall { };
|
2020-03-10 13:33:53 +01:00
|
|
|
|
2020-04-08 15:05:26 +02:00
|
|
|
buildDepotWorld = let
|
2020-04-02 09:06:18 +02:00
|
|
|
genodeWorld = fetchFromGitHub {
|
2020-03-10 13:33:53 +01:00
|
|
|
owner = "genodelabs";
|
|
|
|
repo = "genode-world";
|
|
|
|
rev = "0ed545e55a90c39df23a86eb733961de71d56241";
|
|
|
|
hash = "sha256-sirmUtLmZ5YnfLKrOvOBafnZW3UW+1LtkiGu85Ma820=";
|
|
|
|
};
|
|
|
|
in attrs:
|
2020-04-08 15:05:26 +02:00
|
|
|
genodeSources.buildDepot (attrs // {
|
|
|
|
postConfigure = ''
|
|
|
|
cp -r --no-preserve=mode ${genodeWorld} $GENODE_DIR/repos
|
|
|
|
'';
|
2020-03-10 13:33:53 +01:00
|
|
|
});
|
2020-02-18 20:14:29 +01:00
|
|
|
|
2020-11-06 20:59:33 +01:00
|
|
|
in upstream // {
|
2020-02-19 00:23:26 +01:00
|
|
|
|
2020-04-02 09:06:18 +02:00
|
|
|
bender = buildPackages.callPackage ./bender { };
|
2020-01-16 18:43:24 +01:00
|
|
|
|
2020-04-04 12:47:44 +02:00
|
|
|
block_router = callPackage ./block_router { };
|
2020-03-22 06:11:46 +01:00
|
|
|
|
2019-11-05 17:38:47 +01:00
|
|
|
dhallGenode = dhallPackages.genode;
|
2020-01-16 18:43:24 +01:00
|
|
|
|
2020-04-05 10:33:51 +02:00
|
|
|
nic_bus = callPackage ./nic_bus { };
|
|
|
|
|
2020-03-27 08:05:41 +01:00
|
|
|
NOVA = callPackage ./NOVA { };
|
2020-01-16 18:43:24 +01:00
|
|
|
|
2020-06-03 13:17:26 +02:00
|
|
|
rtc-dummy = callPackage ./rtc-dummy { };
|
|
|
|
|
2020-06-07 15:48:22 +02:00
|
|
|
show_input = callPackage ./show_input { };
|
|
|
|
|
2020-04-05 18:50:52 +02:00
|
|
|
solo5 = let drv = callPackage ./solo5 { };
|
|
|
|
in drv // { tests = drv.tests // { pname = "solo5-tests"; }; };
|
|
|
|
|
|
|
|
sotest-producer = callPackage ./sotest-producer { };
|
|
|
|
|
2020-04-08 15:05:26 +02:00
|
|
|
ssh_client = buildDepotWorld {
|
2020-04-05 10:33:51 +02:00
|
|
|
name = "ssh_client";
|
|
|
|
portInputs = with genodeSources.ports; [ libc libssh openssl zlib ];
|
|
|
|
};
|
|
|
|
|
2020-04-05 18:50:52 +02:00
|
|
|
stdcxx = callPackage ./stdcxx { };
|
2020-01-16 18:43:24 +01:00
|
|
|
|
|
|
|
}
|