Assertion: kernel's code | /r/HasProperty | i.e. the kernel
Facets:
value: i.e. only
type: OTHER
Source sentences:
text: Different CPU architectures implement this in different ways; x86 CPUs automatically switch stackpointers when privilege mode switches occur, and the values to be used for different privilege levels are configurable - by privileged code (i.e. only the kernel).