Add FPGA firmware to SD card

This commit is contained in:
Joris van Rantwijk 2024-09-22 11:34:37 +02:00
parent 0853648920
commit 535b7a1a0a
2 changed files with 4 additions and 0 deletions

View File

@ -34,3 +34,6 @@ if [ ! -f "$SDCARD_DIR/dropbear_ed25519_host_key" ]; then
dropbearkey -t ed25519 -f "$SDCARD_DIR/dropbear_ed25519_host_key" dropbearkey -t ed25519 -f "$SDCARD_DIR/dropbear_ed25519_host_key"
fi fi
# Copy FPGA firmware
cp -a "$FIRMWARE_FILE" "$SDCARD_DIR"

View File

@ -18,6 +18,7 @@ BOOTIMG_DIR="boot_img"
SDCARD_DIR="sdcard_files" SDCARD_DIR="sdcard_files"
XSA_FILE="../fpga/vivado/output/redpitaya_puzzlefw.xsa" XSA_FILE="../fpga/vivado/output/redpitaya_puzzlefw.xsa"
FIRMWARE_FILE="../fpga/vivado/output/puzzlefw_top.bit.bin"
setup_toolchain () { setup_toolchain () {
if [ ! -x "$TOOLCHAIN_DIR/arm-linux-gcc" ]; then if [ ! -x "$TOOLCHAIN_DIR/arm-linux-gcc" ]; then