An OS based on UEFI
A modern x86_64 UNIX-like microkernel-based operating system
A sweet hobby made operating system written in C++ for x86 CPUs with GUI
Modern UNIX-like x86_64 operating system and kernel written in C++
shitty operating system ...---...