aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--flake.nix4
-rw-r--r--guest.nix2
2 files changed, 3 insertions, 3 deletions
diff --git a/flake.nix b/flake.nix
index 89a10d7..332eae4 100644
--- a/flake.nix
+++ b/flake.nix
@@ -34,10 +34,10 @@
(_: type: type == "directory")
(builtins.readDir ./zkvms));
- guests = [ null ] ++ (builtins.attrNames
+ guests = builtins.attrNames
(pkgs.lib.filterAttrs
(_: type: type == "directory")
- (builtins.readDir ./guests)));
+ (builtins.readDir ./guests));
foldr = pkgs.lib.foldr;
diff --git a/guest.nix b/guest.nix
index 9d3086c..5b321cc 100644
--- a/guest.nix
+++ b/guest.nix
@@ -18,7 +18,7 @@ writeShellApplication {
"$@"
}
'' + lib.foldr
- (zkvm: accum: accum + "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n")
+ (zkvm: accum: "runZKVM \"${hostPackages."${zkvm}/${guest}"}/bin/${zkvm}_${guest}\" \"$@\"\n" + accum)
""
zkvms;
}