Official MINIX sources - Automatically replicated from gerrit.minix3.org