has a big list. The definition of what is an RTOS and how much is in software vs hardware is a blurry area.
https://rtic.rs/2/book/en/#is-rtic-an-rtos