This is the stress-ng upstream project git repository.
Scalable, optimized, secure RTOS for multiple hardware architectures
syzkaller is an unsupervised coverage-guided kernel fuzzer
Blazingly Fast & Customizable Linux distribution
GobLin: The GNU/Linux Operating System for Governments
16 bit real mod minecraft clone running in bios
AO RTOS is small real time OS based on Active Object concurrency model
A light version of Debian with minimal installed using LXDE.
Jupyter kernel for Coq
Alternative operating system for x86 computers
Casper-fs is a Custom LKM generator to protect and hide files.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
humbly smart Operating System - Debian derivative
An operating system for those who value security and privacy.
Linux distribution made specifically to run Docker containers
Small Content Filtering And Web Acceleration Appliance
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
An operating system written in RTL
32 bit VIRGO Linux Kernel
A UNIX-like kernel for the i386 architecture