2024-03-04 18:32:25 +01:00
|
|
|
#!/usr/bin/bash
|
|
|
|
|
2024-08-26 17:14:53 +02:00
|
|
|
#set -x
|
2024-03-04 18:32:25 +01:00
|
|
|
set -e
|
|
|
|
|
|
|
|
source ./env.sh
|
|
|
|
|
2024-08-26 17:14:53 +02:00
|
|
|
bitstream="-w bitstream.bit"
|
2024-03-07 16:50:35 +01:00
|
|
|
|
2024-08-26 17:14:53 +02:00
|
|
|
./fpgactl $bitstream -R bootrom.bin -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img
|
2024-03-07 16:50:35 +01:00
|
|
|
|
2024-08-26 17:14:53 +02:00
|
|
|
picocom -b 115200 $FPGACTL_UART
|