Concepts| docs.zephyrproject.org
IPC| docs.sel4.systems
I’m often asked why we decided to write a new RTOS for CHERIoT instead of using something that already existed, such as ThreadX, FreeRTOS, or Zephyr. The short answer is that CHERIoT is a hardware-software co-design project and retrofitting ground-up co-design is hard. This post is for people who want the long answer.| CHERIoT Platform
Home| man.freebsd.org