Paul Eggert wrote: > Minix is moribund (its last release was 2014) and is no longer a significant > porting target.
Indeed. There was a conference around Minix in 2016 [1], but development apparently stopped more than 1½ years ago. [2][3] Bruno [1] http://www.minix3.org/conference/2016/program.html [2] https://git.minix3.org/index.cgi?p=minix.git [3] https://github.com/Stichting-MINIX-Research-Foundation/minix/
