I'm writing a kernel for a realtime operating system. Should I put device drivers in the kernel, or in userspace?