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
Jupyter kernel for Coq
16 bit real mod minecraft clone running in bios
A light version of Debian with minimal installed using LXDE.
AO RTOS is small real time OS based on Active Object concurrency model
Alternative operating system for x86 computers
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
An operating system for those who value security and privacy.
Linux distribution made specifically to run Docker containers
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
An operating system for tenputer