Find opensbi in any directory name

This commit is contained in:
Rodrigo Arias 2024-07-01 11:47:33 +02:00
parent a7cc8e2611
commit 869bd302a8

View File

@ -10,11 +10,10 @@ if [ "$1" != "" ]; then
dst="$1"
fi
#rsync -a fpga/fpgactl "$dst"
rsync -a fpga/fpgactl "$dst"
#rsync -a fpga/boot.sh "$dst"
rsync -a fpga/env.sh "$dst"
#rsync "$OPENSBI/share/opensbi/lp64/fpga/openpiton/firmware/fw_payload.bin" "$dst/opensbi.bin"
rsync "$OPENSBI/share/opensbi/lp64d/fpga/ox_alveo/firmware/fw_payload.bin" "$dst/opensbi.bin"
rsync $OPENSBI/share/opensbi/*/fpga/*/firmware/fw_payload.bin "$dst/opensbi.bin"
rsync "$KERNEL/Image" "$dst/kernel.bin"
rsync "$INITRD/initrd" "$dst/initrd.bin"
rsync "$ROOTFS/sd-image/rootfs.img" "$dst/rootfs.img"