artecs-group/RVfpga-sim-addons: CVW-Wally Nexys A7 Files

Prebuilt files for the CVW-Wally Nexys A7 activity.

This release includes:

• Prebuilt Linux SD card image for the Nexys A7 board
• FPGA bitstream for the CVW-Wally system

Files included:

• WallyNexysA7_SD.img.xz
• fpgaTop.bit

The SD image already contains:

• Linux system
• Device tree
• Wally environment for the Nexys A7 board

These files are intended for the "Other RISC-V Cores" activity of the microcredential.