Assertion: kernel | /r/CapableOf | provide multiprocessor synchronization
Facets:
Source sentences:
text: The kernel sits between the HAL and the Executive and provides multiprocessor synchronization, thread and interrupt scheduling and dispatching, and trap handling and exception dispatching; it is also responsible for initializing device drivers at bootup that are necessary to get the operating system up and running.