Prepare CI pipeline to boot NixOS

Increase the timeout to 30 minutes and load the rootfs
This commit is contained in:
Rodrigo Arias 2024-08-30 18:37:15 +02:00
parent cd1c340a34
commit ec70f54609

View File

@ -18,13 +18,16 @@ killall picocom || true
set -x
# Then perform the boot
./fpgactl -w bitstream.bit -b opensbi.bin -k kernel.bin -i initrd.bin # -r rootfs.img
./fpgactl -w bitstream.bit -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img
# Restart it again only loading the bootrom and OpenSBI (notice OpenSBI
# relocates itself so it will likely be gone by now)
sleep 1 && ./fpgactl -b opensbi.bin &
# Set dead switch
sleep 300 && killall picocom &
timeout=$((30 * 60)) # Always stop after 30 min
timeout_silent=$((10 * 60)) # Stop if 10 min without output
picocom -q -x 300000 -b 115200 $FPGACTL_UART
# Set dead switch
sleep $timeout && killall picocom &
picocom -q -x $(($timeout_silent*1000)) -b 115200 $FPGACTL_UART