Assertion: kernel | /r/HasProperty | found with the uname -r command
Facets:
Source sentences:
text: In this case, and rather than reconfiguring everything from scratch, it is sufficient to copy the /boot/config-version file (the version is that of the kernel currently used, which can be found with the uname -r command) into a .config file in the directory containing the kernel sources.