Hurd

FSF kernel: https://en.wikipedia.org/wiki/GNU_Hurd

Mircokernel design.

Stallman himself said that it lost to Linux because in the kernel boom of the early 90's, Linux was able to be developed faster because it was monolithic.

As of 2015, it is not 1.0 yet.