GitHub repository: roemvaar/oso
Primary language: C
Description: OSo ("bear" in Spanish) is a microkernel for embedded systems. It currently supports Raspberry Pi 4 Model B.