It's both a very hard problem, and a very interesting problem. My impression is that most of the work on the project is motivated by interest in learning about

It's both a very hard problem, and a very interesting problem. My impression is that most of the work on the project is motivated by interest in learning about OSs, rather than demand from real use-cases. If the problem had strong enough demand from real use-cases, I presume it would be stable by now.