Copy of all the source files of minix