Linux kernel - The Linux kernel is the operating system kernel used by the Linux family of Unix-like operating...
Nanos - Run code faster than the speed of light. A unikernel running one and only one application in a virtualized environment. More secure and faster than Linux. All while keeping it simple.
GNU Hurd - GNU Hurd (usually referred to as the Hurd) is a computer operating system kernel designed as a...
Ubuntu - Ubuntu is a Debian Linux-based open source operating system for desktop computers.
XNU - XNU is a hybrid kernel combining the Mach kernel with components from FreeBSD and C++
FreeBSD - FreeBSD is an advanced operating system for x86 compatible (including Pentium® and Athlon™)...