31 lines
556 B
Bash
Executable File
31 lines
556 B
Bash
Executable File
#!/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
|