From the website, it looks like development stopped in 2016.

I read some of the papers on Minix3, and the Loris storage stack. From the bits I understood, it looks pretty interesting.