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.
32bit Protection mode BIOS for x86 written with assembly and c