Assertion: operating system | /r/HasProperty | loaded
Facets:
Source sentences:
text: The operating system is loaded and, it too, runs in kernel mode.
text: An add-in card requires an option ROM if the card is not supported by the main BIOS and the card needs to be initialized or made accessible through BIOS services before the operating system can be loaded (usually this means it is required in the bootstrapping process).