Linux kernel Alternatives
11We've compiled a list of 11 free and paid alternatives to Linux kernel. The primary competitors include FreeBSD, Linux-libre. In addition to these, users also draw comparisons between Linux kernel and GNU Hurd, XNU, Redox. Also you can look at other similar options here: OS and Utilities.