Assertion: operating system's kernel | /r/HasProperty | loaded at this stage
Facets:
Source sentences:
text: There may be some opportunity to specify a particular kernel to be loaded at this stage, which may be useful if a new kernel has just been generated and doesn't work, or if the system has multiple kernels available with different configurations for different purposes.