#!/usr/bin/bash

set -x
set -e

source ./env.sh

#bitstream="-w system-acme_ea-4h2v.bit"

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

picocom -b 115200 /dev/ttyUSB2