From 94eb71dd80e8418a97d22b43d82870af1c4f1d22 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 7 Mar 2024 12:05:10 +0100
Subject: [PATCH] Add rootfs for lagarto hun

---
 flake.nix      | 1 +
 fpga/upload.sh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/flake.nix b/flake.nix
index 913dd96..d461baf 100644
--- a/flake.nix
+++ b/flake.nix
@@ -64,6 +64,7 @@
       OPENSBI = syspkgs.opensbi;
       KERNEL = build.kernel;
       INITRD = build.initialRamdisk;
+      ROOTFS = build.sdImage;
     };
   };
 }
diff --git a/fpga/upload.sh b/fpga/upload.sh
index 358ca3f..adbcc4e 100755
--- a/fpga/upload.sh
+++ b/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"