Del otro lado, también existen sistemas operativos GNU con otro núcleo en lugar de Linux, como FreeBSD, Hurd o NetBSD.