Look for me on the Google Group or just post a message: http://groups.google.com/group/minix3
I'm also sometimes on MINIX's Freenode IRC channel (#minix).
. . .