Assertion: kernel | /r/HasProperty | single one
Facets:
Source sentences:
text: To provide synchronization, the kernel can disable interrupts, be it a single one or all of them.