Assertion: kernel's code | /r/HasProperty | inserted into the kernel
Facets:
value: at run-time
type: TEMPORAL
Source sentences:
text: A kernel module is a bit of compiled code that can be inserted into the kernel at run-time, such as with insmod or modprobe .