Assertion: kernel's feature | /r/HasProperty | compiled
Facets:
Source sentences:
text: make menuconfig , with a menu-driven user interface, allows the user to choose the features of Linux (and other options) that will be compiled.