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