2 ms·

s/\<OS\>/kernel

• jdreaver 13y ago
  That's what I thought, but the Wikipedia article states: "GNU Hurd (usually referred to as the Hurd) is a computer operating system using the GNU Mach kernel designed as a replacement for Unix..." So it looks like GNU Mach is the kernel.