The CHERIoT RTOS scheduler is a fairly traditional RTOS scheduler. A typical desktop or server OS tries to ensure that all threads run, but that higher-priority threads get larger slices of available compute time. It may also try to ensure that interactive tasks run with lower latency. In contrast, an RTOS scheduler needs to give predictable performance and allow high-priority threads to monopolise the CPU. The CHERIoT RTOS scheduler runs the thread that is in a runnable state and has the highes...