Assertion: operating system's source code | /r/HasProperty | linked into new kernel
Facets:
Source sentences:
text: At one extreme the OS source code can be edited, re-compiled, and linked into a new kernel.