Open source repositories tagged with #microkernel, ranked by health score.
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Mirror of https://gitlab.redox-os.org/redox-os/redox
