AutoCHERI🍒: Integrating Morello into vehicle systems

Following on from our last public update on AutoCHERI in October, we wanted to run a workshop to share our experience working on Morello with the community working on DSbD technologies.