Assertion: kernel's code | /r/HasProperty | loaded into protected kernel space
Facets:
Source sentences:
text: So, the code of the Kernel is loaded into this protected Kernel Space.