Official GSOC application complete

Minix3 has officially applied to become a Google Summer of Code mentoring organisation. More news soon, see the timeline.