GitHub repository: w0rfke/miosix-kernel
Primary language: C
Description: Miosix is an OS kernel for embedded systems. Used in OpenRTX