zynq: add sd image support

cleverca22 · Jan 2, 2024 · 2cee7ae · 2cee7ae
1 parent ada3dcb
commit 2cee7ae
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 1 deletion.
diff --git a/base.nix b/base.nix
@@ -27,6 +27,11 @@ with lib;
       description = "enable rngd";
       default = false;
     };
+    not-os.sd = mkOption {
+      type = types.bool;
+      default = false;
+      description = "enable sd image support";
+    };
     not-os.simpleStaticIp = mkOption {
       type = types.bool;
       default = false;

diff --git a/stage-1.nix b/stage-1.nix
@@ -164,7 +164,9 @@ let
     mkdir -p /mnt/nix/store/
 
 
-    ${if config.not-os.nix then ''
+    ${if config.not-os.sd && config.not-os.nix then ''
+    mount $root /mnt
+    '' else if config.not-os.nix then ''
     # make the store writeable
     mkdir -p /mnt/nix/.ro-store /mnt/nix/.overlay-store /mnt/nix/store
     mount $root /mnt/nix/.ro-store -t squashfs

diff --git a/zynq_image.nix b/zynq_image.nix
@@ -32,6 +32,7 @@ in {
   boot.kernelPackages = customKernelPackages;
   nixpkgs.system = "armv7l-linux";
   networking.hostName = "zynq";
+  not-os.sd = true;
   system.build.zynq_image = pkgs.runCommand "zynq_image" {
     preferLocalBuild = true;
   } ''