I sometimes wonder whether microkernels are a better fit to multiprocessor environments and may get in vogue again when we all have 64 cores in our laptop/tablet/phone-thingies in, say, 5 years.
Does anybody have pointers on research in that direction?