Kernels of GNU Operating System

Although GNU+Linux is the most popular combination for distributions, GNU operating system can run on many kernels: