Assertion: kernel's device driver | /r/HasProperty | part of a kernel
Facets:
value: often
type: TEMPORAL
value: in linux
type: LOCATION
Source sentences:
text: In Linux, for example, device drivers are often part of a kernel (specifically Loadable Kernel Modules).
text: The Linux kernel is a monolithic kernel, hence device drivers are kernel components.