A small operating system where I experiment and learn osdev
Virtualization software for x86_64 hardware
Extremely fast compression algorithm
Helping students read all the code of a teaching operating system
The systemd system and service manager
A BSD-based OS project that aims to provide an experience with MacOS
Stand-alone memory tester for x86 and x86-64 architecture computers
A UNIX-like kernel for the i386 architecture
Scalable, optimized, secure RTOS for multiple hardware architectures
Fork of the 64-bit Temple Operating System, TempleOS
Device OS (Firmware) for particle devices
CodeCampus is a learning-first Linux OS for CSE and IT students
CI maintained precompiled GCC ARM/ARM64 Toolchains for Raspberry Pi
Run Windows applications on Linux, BSD, Solaris, and Mac OS X
Real-Time Event Frameworks based on active objects & state machines
This is QEMU virtual machine with Raspbian OS for students KNUCA
A Java-based cross-platform build system.
Onix
A bleeding-edge, security-centric Arch-based Linux distribution.