3 ms·

I assume that funding ran out around 2014: https://blog.minix3.org/tag/news/ https://blog.minix3.org/tag/news/