Add rootfs for lagarto hun

flake.nix

@@ -64,6 +64,7 @@
       OPENSBI = syspkgs.opensbi;
       KERNEL = build.kernel;
       INITRD = build.initialRamdisk;
+      ROOTFS = build.sdImage;
     };
   };
 }

fpga/upload.sh

@@ -11,5 +11,6 @@ rsync -a fpga/env.sh "$dst"
 rsync "$OPENSBI/share/opensbi/lp64/fpga/openpiton/firmware/fw_payload.bin" "$dst/opensbi.bin"
 rsync "$KERNEL/Image" "$dst/kernel.bin"
 rsync "$INITRD/initrd" "$dst/initrd.bin"
+rsync "$ROOTFS/rootfs.img" "$dst/rootfs.img"
 
 echo "Now go to $dst and run ./boot.sh"