How well is the project doing? - They had big plans, but it seems the company behind it shut down sometime ago. Lat blog from two years ago, last commit a year ago.
https://news.ycombinator.com/item?id=21905955
https://github.com/includeos/IncludeOS/issues/2211