Cuando se habla de un kernel libre y de código abierto, el primero que se te viene a la cabeza es siempre Linux ¿verdad? Pero existen más kernels y sistemas operativos de código abierto, como bien sabes. Algunos ejemplos son FreeBSD, NetBSD, OpenBSD, ReactOS, Android, FreeDOS, y un largo etc.
https://www.linuxadictos.com/kernel-codigo-abierto-mas-alla-linux.html