Linux Kernel increasingly inefficient
OK, it *does* support numerous plattforms and gazillions of features (almost nobody actually uses btw.). But wouldn't it be better to make these parts optional? Micro-kernel anyone? Would of course collide with the current development model -- but maybe this would also be a good time to rethink that as well.