Date: 2023-05-20
Time: 10:30–11:15
Room: DMS 1110
Level: Intermediate
For over a decade the CHERI project has co-designed hardware and software extensions to provide memory safety in C and C++ software. With the release of Arm's Morello prototype in late 2021, we can practically run large software stacks including a memory safe desktop environment based on KDE and Wayland. All of this runs on top of CheriBSD, our fork of FreeBSD with CHERI support and uses a fork of the FreeBSD ports collection to supply packages.
In this talk I will discuss the status of our work and how we have leveraged FreeBSD and the FreeBSD ports collection make this technology demonstration possible.
The following slides have been made available for this session: