A modular RTOS microkernel with tutorials—built for embedded systems, teaching, and architecture research.
A dynamically programmable distributed real-time operating system
A lightweight TCP/IP stack with ARP, ICMP, UDP, simplified TCP, and socket APIs—built for teaching, research, and simple communication with Linux servers and clients.