Linux Kernel source tree
Scalable, optimized, secure RTOS for multiple hardware architectures
This is the stress-ng upstream project git repository.
Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
It's a personal microkernel project designed as a learning ground.
Building and running ancient Linux on Windows
Hobby operating system, bootloader, kernel, drivers, C library
Testsuite to validate the reliability, robustness, stability of Linux.
AliOS Things latest version
Free real-time operating system designed for microcontrollers
Real time preemptive embedded multi-thread kernel
A Tiny Linux-Compatible Kernel
32 bit VIRGO Linux Kernel
Linux source-level kernel debugger
64-BIt Operating System with Compiler
Development moved to https://sourceforge.net/projects/ntfs-3g/
My own operating system.
A Simple 'IDE'A for Linux Kernel Developers