Assertion: kernel | /r/HasProperty | installed
Facets:
Source sentences:
text: When installing the kernel-* packages using the rpm command, you should note that 'kernel' and 'kernel-devel' must be installed, not updated, by using an rpm -ivh command.