Assertion: operating system's kernel | /r/HasProperty | specified by new parameters
Facets:
Source sentences:
text: This approach may require the configuration of complicated makefiles, which can be done either automatically or through interactive configuration programs; Then make is used to actually generate the new kernel specified by the new parameters.