#!/usr/bin/bash

#set -x
set -e

source ./env.sh

bitstream="-w bitstream.bit"

./fpgactl $bitstream -R bootrom.bin -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img

picocom -b 115200 $FPGACTL_UART