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.

default.nix 1.6KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. { flake, pkgs }:
  2. let
  3. upstream = import ./genodelabs { inherit flake pkgs; };
  4. inherit (upstream) genodeSources;
  5. inherit (pkgs) buildPackages callPackage fetchFromGitHub fetchgit stdenv;
  6. dhallPackages =
  7. flake.inputs.nixpkgs.legacyPackages.x86_64-linux.callPackage ./dhall { };
  8. buildDepotWorld = let
  9. genodeWorld = fetchFromGitHub {
  10. owner = "genodelabs";
  11. repo = "genode-world";
  12. rev = "0ed545e55a90c39df23a86eb733961de71d56241";
  13. hash = "sha256-sirmUtLmZ5YnfLKrOvOBafnZW3UW+1LtkiGu85Ma820=";
  14. };
  15. in attrs:
  16. genodeSources.buildDepot (attrs // {
  17. postConfigure = ''
  18. cp -r --no-preserve=mode ${genodeWorld} $GENODE_DIR/repos
  19. '';
  20. });
  21. in upstream // {
  22. bender = buildPackages.callPackage ./bender { };
  23. block_router = callPackage ./block_router { };
  24. dhallGenode = dhallPackages.genode;
  25. nic_bus = callPackage ./nic_bus { };
  26. NOVA = callPackage ./NOVA { };
  27. rtc-dummy = callPackage ./rtc-dummy { };
  28. show_input = callPackage ./show_input { };
  29. solo5 = let drv = callPackage ./solo5 { };
  30. in drv // { tests = drv.tests // { pname = "solo5-tests"; }; };
  31. sotest-producer = callPackage ./sotest-producer { };
  32. ssh_client = buildDepotWorld {
  33. name = "ssh_client";
  34. portInputs = with genodeSources.ports; [ libc libssh openssl zlib ];
  35. };
  36. stdcxx = callPackage ./stdcxx { };
  37. worldSources = buildPackages.fetchFromGitHub {
  38. owner = "genodelabs";
  39. repo = "genode-world";
  40. rev = "521f9fb5a66b18441f53a96e3993a84b772f27e5";
  41. sha256 = "0dy906ffbw6khkwd05vhppcw2mr4ma0h3b6n52a71cfail87jfnw";
  42. };
  43. }