Minix virtual machine project files