Hacker News Reader

> Kernels always have to be changed for different hardware

Isn't there a way to have loadable device drivers that live outside the kernel?

That's just a form of building the kernel for several configurations at once.