> Kernels always have to be changed for different hardware
Isn't there a way to have loadable device drivers that live outside the kernel?