devices and kernel