On 2025-09-09 14:15, Bruno Haible via Gnulib discussion list wrote:
And Minix is probably dead as well:https://git.minix3.org/index.cgi?o=age
It's dead as a platform for Gnulib.[1] It's alive and kicking only in closed-source form inside Intel's Management Engine.[1]
[1]: https://www.osnews.com/story/136174/minix-is-dead/ [2]: https://www.theregister.com/2024/06/25/tanenbaum_minix_award/
