RISC-V RTOS and General Operating Systems
This is a list of RTOS and other operating systems with RISC-V support. You should also know that all major Linux distributions such as Fedora, Ubuntu, OpenSuse and Debian now have RISC-V support. OpenBSD and FreeBSD also support RISC-V.
RIOT RISC-V Compatible RTOS for IoT
RIOT powers the Internet of Things like Linux powers the Internet. RIOT is a free, open source operating system developed by a grassroots [...]
RT-Thread RTOS which supports RISC-V
RT-Thread born in 2006, it's an open-source, neutral, and community-based real-time operating system (RTOS). The software has the characteristics of [...]
seL4 microkernel with RISC-V support
A microkernel is the minimal core of an operating system (OS). It presents a very small subset of what is [...]
Zephyr RTOS for multiple architectures
The Zephyr Project is a scalable real-time operating system (RTOS) supporting multiple hardware architectures, optimized for resource constrained devices, and [...]
SEGGER embOS RTOS
Since 1992, embOS has been the preferred RTOS choice for engineers in the embedded market. It offers ease-of-use and guarantees [...]
The Little Kernel Embedded Operating System
The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and cpu architectures. [...]