#x86-64

ViudiraTech/Uinxed-Kernel

C

89

health

Uinxed is a monolithic UNIX-like x86_64 kernel, written from scratch in C. It boots via the Limine bootloader, supports SMP, and implements a Linux-compatible syscall ABI (Linux 6.12 x86_64 numbering, syscall 0-462). The kernel emphasizes modern scheduler design (EEVDF), comprehensive memory management including swap, and a full VFS/driver stack.

FEX-Emu/FEX

C++

88

health

A fast usermode x86 and x86-64 emulator for Arm64 Linux

OFFTKP/felix86

C++

87

health

Run x86 and x86-64 games on RISC‑V Linux

obhq/obliteration

Rust

86

health

Experimental free and open-source PlayStation 4 kernel

klange/toaruos

C

74

health

Complete, independent operating system built by humans.