Mirror of https://gitlab.redox-os.org/redox-os/redox

linux rust open-source freebsd openbsd redox posix operating-system bsd plan9 gnu microkernel sel4 minix gnu-hurd

• Updated Nov 12, 2026
• Rust

Kōhī GNU/Linux-Libre package manager

package-manager gnu-linux perl command-line-tool software-management barista gnu-hurd

• Updated Jan 24, 2022
• Perl

Build and explore a minimal, clear operating system kernel for x86 and Raspberry Pi 3B with fully documented hardware mechanisms in C.

react visualization c freebsd raspberry-pi kernel geojson osdev redox operating-system x86 bootloader bare-metal uam live-build traffic-visualizer gnu-hurd wolfi

• Updated Oct 14, 2026
• C

paperboy is a small collection of interactive 3D explainers for systems.

javascript visualisation 3d freesoftware gnu-hurd

• Updated Nov 7, 2026
• JavaScript

GNU/Hurd x86_64 SMP & VirtIO (rumpnet vioif) fixes + freestanding RISC-V (rv64gc) S-mode kernel bring-up in C & GAS

c operating-system qemu smp microkernel virtio riscv64 gnumach gnu-hurd rumpkernel

• Updated Oct 18, 2026
• C

Manage and share family trees securely with Gia Phả OS, a cloud-based, open source tool designed for Vietnamese users.

linux rust open-source freebsd iso redox operating-system plan9 kernel-driver bootloader hacktoberfest sel4 minix x86-assembly kernel-development gnu-hurd giapha gia-pha

• Updated Oct 12, 2026
• TypeScript

Test your code in a real GNU/Hurd virtual machine on GitHub Actions -- QEMU-powered, with SSH and two-way folder sync

testing vm debian ci virtual-machine qemu hurd github-actions gnu-hurd

• Updated Nov 11, 2026
• JavaScript