GNU Hurd
Arch Hurd is an operating system based on Arch Linux, but uses the GNU Hurd kernel instead of the Linux kernel.