Assertion: kernel | /r/HasProperty | part of the tcb
Facets:
value: always
type: DEGREE
Source sentences:
text: As the kernel (the code that executes in the privileged mode of the hardware) has unvetted access to any data and can thus violate its integrity or confidentiality, the kernel is always part of the TCB.