Improve the process for GNU tools55/3355/3
[minix3.git] / minix / servers / 
treee78becdefd42b1ae704c0ae1c8ce62ef6c444eb2
drwxr-xr-x   ..
-rw-r--r-- 148 Makefile
-rw-r--r-- 52 Makefile.inc
drwxr-xr-x - devman
drwxr-xr-x - ds
drwxr-xr-x - input
drwxr-xr-x - ipc
drwxr-xr-x - is
drwxr-xr-x - mib
drwxr-xr-x - pm
drwxr-xr-x - rs
drwxr-xr-x - sched
drwxr-xr-x - vfs
drwxr-xr-x - vm