Assertion: linux os | /r/HasProperty | the linux kernel
Facets:
Source sentences:
text: The Linux OS is frequently packaged as a Linux distribution for both desktop and server use, and includes the Linux kernel (the core of the operating system) as well as supporting tools and libraries.