This discussion would be more interesting in the context of major new developments in OS kernels. Microkernels are basically solving an engineering problem. Th

This discussion would be more interesting in the context of major new developments in OS kernels. Microkernels are basically solving an engineering problem. That's exciting when engineering is the bottleneck holding up a bunch of really innovative ideas. So what are those amazing kernel ideas being held back by engineering difficulties?