• Minix development has been abandoned? https://git.minix3.org/index.cgi?p=minix.git%3Ba%3Dsummary 109 comments 24/5/2023