A small operating system where I experiment and learn osdev
NVIDIA Linux open GPU kernel module source
Virtualization software for x86_64 hardware
Emulator of x86-based machines based on PCem
Helping students read all the code of a teaching operating system
2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
An open source RDP server
Optimise Linux system performance on demand
Any Linux distribution, anywhere
A BSD-based OS project that aims to provide an experience with MacOS
Scalable, optimized, secure RTOS for multiple hardware architectures
Stand-alone memory tester for x86 and x86-64 architecture computers
ZMap is a fast single packet network scanner for network surveys
The Pi-hole FTL engine
The systemd system and service manager
Fast Desktop Switching Device
An educational 32-bit linux-like Operating System
SQL operating system instrumentation and monitoring framework
CUPS is a standards-based, open-source printing system
A UNIX-like kernel for the i386 architecture
SDK for connecting to AWS IoT from a device using embedded C
Onix
Versatile Commodore Emulator