Rust Linux-compatible kernel
Scalable, optimized, secure RTOS for multiple hardware architectures
The operating system and all related software
Simply Awesome.
GaryOS is an entire GNU/Linux system in a single bootable file
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
A microkernel-based multiserver operating system written from scratch.
Resurrection Remix Q v8.6.x For Nubia Z17Max (NX563J)
A UNIX-like kernel for the i386 architecture
W-Bus communication library
Use an rtl2832 USB dongle to generate random data for the linux kernel
CAN bus device driver
A Simple 'IDE'A for Linux Kernel Developers
Linux kernel development for Wondermedia-based System-on-a-Chip device
OSAF-TK your one stop shop for Android malware analysis and forensics.
Simple AVR OS
U-tube is a dynamic memory management tool for Xen virtualized envi