Prepare CI to run SPEC benchmarks

fpga/run-node.sh

@@ -20,8 +20,13 @@ set -x
 # Then perform the boot
 ./fpgactl -w bitstream.bit -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img
 
-timeout=$((30 * 60)) # Always stop after 30 min
-timeout_silent=$((3 * 60)) # Stop if 3 min without output
+# Normal timeouts
+#timeout=$((30 * 60)) # Always stop after 30 min
+#timeout_silent=$((3 * 60)) # Stop if 3 min without output
+
+# Timeouts for SPEC benchmarks
+timeout=$((6 * 60 * 60)) # Always stop after 6 h
+timeout_silent=$((2 * 60 * 60)) # Stop if 2 h without output (some benchmarks take 1.6h)
 
 # Set dead switch
 sleep $timeout && killall picocom &