minix3-3.4.0/docs

F UPDATING
F profiling.txt