RISC-VのFreeBSD実装をZedBoardで動作させたい(解決したがFPGAで動作不良)

結局、いろいろ調べたところFreeBSDのカーネルを作るのにはもう一段階くらい必要で、

riscv - FreeBSD Wiki

のWikiでFreeBSDをビルドする際、

make TARGET_ARCH=riscv64 buildworld

の次に、

make TARGET_ARCH=riscv64 KERNCONF=ROCKET buildkernel

を追加した。上記のコマンドにより、

/home/vagrant/obj/riscv.riscv64/home/vagrant/freebsd-riscv/sys/ROCKET/kernel

が作られたので、これを使ってBBLをビルドすることにした。

RISC-VのBBLのビルドの所で、../configureを実行している行にて、

../configure --prefix=$PREFIX --host=riscv64-unknown-freebsd11.0 --with-payload=/home/vagrant/obj/riscv.riscv64/home/vagrant/freebsd-riscv/sys/ROCKET/kernel

とすると、BBLが生成された！これをSDカードにコピーし、ZedBoardを起動させてみたのだが、

やった！成功だ！と思ったら...

ありゃー、カーネルパニックのような状態になってしまった...

いろんなBBLを作って試してみるか...