Scalable, optimized, secure RTOS for multiple hardware architectures
Your favorite operating systems in one place
syzkaller is an unsupervised coverage-guided kernel fuzzer
16 bit real mod minecraft clone running in bios
Jupyter kernel for Coq
AO RTOS is small real time OS based on Active Object concurrency model
The smallest and the most powerful operating system.
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
A tool for automating the installation of Windows OS
Indipendent distro uses inary package system. Sulin is roolling donkey
AliOS Things latest version
Beamology: Semicom Project Management
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
An operating system for tenputer
Android, DOS, FirefoxOS, Linux, MacOS and Windows all in one..
SuperWikia: The Runtime/Realtime Environment for Codesmiths