uKOS-X is a lightweight, modular operating system for ARM and RISC-V, designed for embedded systems and low-level OS experimentation - View it on GitHub