Assertion: operating system's kernel | /r/HasProperty | supervisor
Facets:
Source sentences:
text: EL1: kernel ("supervisor" in ARM terminology).