Assertion: driver | /r/HasProperty | loaded
Facets:
value: after system startup
type: TEMPORAL
Source sentences:
text: What Determines When a Driver Is Loaded
text: The advantage of loadable device drivers is that they can be loaded only when necessary and then unloaded, thus saving kernel memory.
text: The new DDI should allow the OS to collect information at any time a driver is loaded.
text: A kernel-mode driver's start type specifies whether the driver is to be loaded during or after system startup.
text: If the optional character device driver PRINTER.SYS is loaded, DOS provides its code page switching support also for the associated printers—different types of dot matrix and ink jet printers are supported by default.