Improve the process for GNU tools55/3355/3
[minix3.git] / minix / servers / mib / 
tree493307222c64a31e4c1d15db0172e380085f977a
drwxr-xr-x   ..
-rw-r--r-- 241 Makefile
-rw-r--r-- 4021 hw.c
-rw-r--r-- 16872 kern.c
-rw-r--r-- 13835 main.c
-rw-r--r-- 17132 mib.h
-rw-r--r-- 3107 minix.c
-rw-r--r-- 34928 proc.c
-rw-r--r-- 14181 remote.c
-rw-r--r-- 54725 tree.c
-rw-r--r-- 4635 vm.c