#!/usr/bin/bash

#set -x
set -e

echo "Hello from $(hostname)"

path="$1"

cd "$path"

# First kill any picocom instance
killall picocom || true

# Setup the environment
. env.sh

set -x

# Then perform the boot
./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 30 && killall picocom &

picocom -q -x 10000 -b 115200 $FPGACTL_UART