Here is my summary: https://danglingpointers.substack.com/p/cheriot-rtos-an-os-f...