Run CheriBSD and Toooba on VCU118

[pig-pig-yang]

Whether there is any project can be used for reference?

[francislaus]

In order to get CheriBSD running on Toooba on the VCU-118 board, you will need to build your own Toooba bitfile. Here are pointers on how to do that: Bitfile manual.

Next you need to program the FPGA and load your desired kernel version of CheriBSD on the FPGA. You can find more information here.

[francislaus]

In order to build a CheriBSD kernel, please use cheribuild. You can find more information in the README of the cheribuild repo.

[pig-pig-yang]

Now I am studying the GFE project. When building Debian IMG, the following error occurred, and I have not found a good method so far. This is where files like BBL will be built to start cheriBSD later.
I: Retrieving InRelease I: Checking Release signature E: Release signed by unknown key (key id 5A88D659DCB811BB)
It's run in BESSPIN-GFE/debian/create_chroot.sh. I know it's my Keyring file which is different from a .gpg public key. But i don't know how tomanually create a keyring file next.

[pig-pig-yang]

Hi,
When using cheribuild, the vcu118-run.py requires a BIOS and kernel. How do I generate cheri BIOS and kernel? So far I have tried./cheribuild.py bbl-gfe-baremetal-riscv64-purecap and used it as BIOS. /cheribuild.py disk-image-riscv64-purecap Generates cheribsd-riscv64-purecap.img.

However,

./vcu118-run.py --bitfile ../vcu118/jenkins/design_1.bit --ltxfile ../vcu118/jenkins/design_1.ltx --bios ../vcu118/jenkins/bbl-gfe-riscv64-purecap --kernel ../vcu118/jenkins/kernel-riscv64-purecap.CHERI-GFE-NODEBUG --gdb /homes/jrtc4/out/criscv-gdb --openocd /usr/bin/openocd --num-cores <cores-in-bitfile>