Assertion: linux kernel | /r/HasProperty | patched
Facets:
Source sentences:
text: System-level software includes the Linux kernel that has been patched to improve boot performance.