[danieljh]

> where's all the actual OS research? Where's the service-oriented OS built on capabilities with a typed object store for a filesystem?

Once you realize there's not much a difference between Microkernels are the recent microservices architectures, they become interesting again. Then you might want to look in recent advances such as Unikernels or Anykernels.

Here's a good start summarizing lessons in Microkernels learned in the last decades: http://dl.acm.org/citation.cfm?id=2522720