• Minix development has been abandoned? https://git.minix3.org/index.cgi?p=minix.git%3Ba%3Dsummary 109 comments 24/5/2023
• Ask HN: Is Minix dead? No commits since 2018 https://git.minix3.org/index.cgi?p=minix.git%3Ba%3Dsummary 142 comments 14/3/2021