Hi maybe this is an overly pedantic point but is there a specific term for device drivers in L4Re? In QNX they call them resource managers because they perform the same function as a device driver in a monolithic OS such as Linux but they run in their own address space like a POSIX process and behave like daemon. User space driver isn't really appropriate either because they don't have the same restrictions as user space drivers in a monolithic OS.