Faresh, 10 months ago GNU Hurd technically isn’t the kernel. GNU Mach is.
GNU Hurd technically isn’t the kernel. GNU Mach is.