The source for the Linux kernel used in Windows Subsystem for Linux 2
A BSD-based OS project that aims to provide an experience with MacOS
Scalable, optimized, secure RTOS for multiple hardware architectures
Hobby operating system, bootloader, kernel, drivers, C library
Zen Patched Kernel Sources
This is the stress-ng upstream project git repository.
Intel Bluetooth Kernel Extensions for macOS
NVIDIA Linux open GPU kernel module source
Linux kernel driver for Xbox One and Xbox Series X|S accessories
An operating system based on the best Windows NT design principles
Linuxfx Operating System
Blazingly Fast & Customizable Linux distribution
A Fast, Offline, Graphical Installer for Arch Linux
Creating a Rich experience to ARCH
Market leading real time kernel for 40+ microcontroller architectures
Free operating system for Atari computers, and more.
C-BIOS is an open source BIOS for MSX computers.
Real-Time Embedded Frameworks based on active objects & state machines