#!/usr/bin/bash

set -x
set -e

source ./env.sh

./fpgactl -b opensbi.bin -k kernel.bin -i initrd.bin
picocom -b 115200 /dev/ttyUSB2