curprev21:3321:33, 3 May 2024 Guy Harristalkcontribs 155,025 bytes−2 →Debian GNU/Hurd: There's "Linux", the name of an OS kernel, and there's "Linux", the name for the family of OSes using the Linux kernel. This happens to be an instance of the former - the only userland differences are those due to different kernels - so speak of it running on top of "the Linux kernel". (This also removes a bit of a WP:SUBMARINE.)undo