結局、いろいろ調べたところ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を作って試してみるか...