[wolfgke]

> but the linux kernel is some gazillion lines of code, because it has to work with reality

Rather: Because the kernel developers care far too little about keeping it small and minimal.