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"