Assertion: kernel's code | /r/HasProperty | the executive
Facets:
Source sentences:
text: Code running in kernel mode includes: the executive, which is itself made up of many modules that do specific tasks; the kernel, which provides low-level services used by the Executive; the Hardware Abstraction Layer (HAL); and kernel drivers.