The source for the Linux kernel used in Windows Subsystem for Linux 2
Your favorite operating systems in one place
Scalable, optimized, secure RTOS for multiple hardware architectures
Zen Patched Kernel Sources
A Scala kernel for Jupyter
NVIDIA Linux open GPU kernel module source
IPython Kernel for Jupyter
A tapas/topaz/sapphire kernel optimized for smoothness and low-memory
An operating system based on the best Windows NT design principles
Yet another minimal Linux distribution, based on Arch Linux.
Boots into many systems and GRUB2 ones!
Your concierge creating a Rich experience to Arch
Winux Operating System by Linuxfx
Easy, yet powerful, GNU/Linux distribution
A Fast, Offline, Graphical distribution based on Arch Linux
Based on Debian with Deepin/LXQt/KDE/WayDroid and kernel 6.18.6-exton
Simply Awesome.
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines