Assertion: operating system's kernel | /r/HasProperty | the gnu hurd microkernel
Facets:
Source sentences:
text: The official kernel of GNU Project was the GNU Hurd microkernel; however, as of 2012, the Linux kernel became officially part of the GNU Project in the form of Linux-libre, a variant of Linux with all proprietary components removed.