CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices

Describes the CHERIoT RTOS and its fine-grained compartment model for resource-constrained embedded systems.

Authors

Saar AmarTony ChenDavid ChisnallNathaniel Wesley FilardoBen LaurieHugo LefeuvreKunyan LiuSimon MooreRobert Norton-WrightMargo SeltzerYucong TaoRobert WatsonHongyan Xia

Citation

Saar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo, Ben Laurie, Hugo Lefeuvre, Kunyan Liu, Simon W. Moore, Robert Norton-Wright, Margo Seltzer, Yucong Tao, Robert N. M. Watson, and Hongyan Xia. ACM SOSP 2025, 2025.