There are 5 repositories under dsbd topic.
Open-source textbook about CHERI capabilities, for a developer audience
Dataset to convert ISO 3166-1 alpha-2 codes to IVRC (International Vehicle Registration Code)
Documentation on using CI/CD via Morello/QEMU
A packer build environment for launching Github Runners in a Morello QEMU CheriBSD environment
An interface for executing binaries on the morello board and aarch64
Example for the morello board as part of the Digital Security by Design program