記録として残しておきます。
USBにHiFive1を接続して使うための準備もしないといけないようです。
USBシリアル(/dev/ttyUSB1)として見えるようです。
PCとボードをUSBケーブルで接続した状態で、HiFive1のリセットボタンを押すと、
画面にロゴが出てくるようです。
PCとボードをUSBケーブルで接続した状態で、HiFive1のリセットボタンを押すと、
画面にロゴが出てくるようです。
素晴らしい。
HiFive1の起動の仕組みも説明されています。
最初の一歩としては、いいですね!