> 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'

> 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 http://dl.acm.org/citation.cfm?id=2522720