RTOS for Secure, Safe and Real-Time Systems
A microkernel-based multiserver operating system written from scratch.
Small real time operating system for AVR and ARM microcontrollers
W-Bus communication library
Alternative operating system for x86 computers
UEFI GTP fdisk is a disk partitionning tool running under UEFI/BIOS
amforth is an extendible interpreter on microcontrollers
OnePlus Nord (Avicii) Builds of PSM-Kernel