Assertion: operating system's kernel | /r/Synonym | linux
Facets:
Source sentences:
text: GNU is typically used with a kernel called Linux.