A microkernel written for the GNU operating system. To this day, it's not complete yet
GNU Hurd is better than Linux
Random
Random