Change FPGA image name to red_pitaya_top.bit (was 0011_red_pitaya_top.bit). This decouples the version number from sbtOS.

Author: frederikaalund

OS/buildroot/overlay/etc/init.d/M01fpga

@@ -6,7 +6,7 @@ else
     echo "/etc/default/rcS not found."
 fi
 
-FPGA_IMAGE=/lib/fpga/0011_red_pitaya_top.bit
+FPGA_IMAGE=/lib/fpga/red_pitaya_top.bit
 
 case "$1" in
 	insert)