While I'm here, the MINIX3 project moved to GitHub to handle patch submissions (https://github.com/Stichting-MINIX-Research-Foundation/minix). Pull requests are the preferred way to submit contributions now, the minix-dev Google Groups hasn't seen a patch submission since 2015.
One more question, how often is the minix3 userland code synchronised with netbsd code?