Improve the process for GNU tools55/3355/3
[minix3.git] / minix / drivers / system / 
tree690b83824754f6894dcccf41aca6df87f979949b
drwxr-xr-x   ..
-rw-r--r-- 158 Makefile
-rw-r--r-- 27 Makefile.inc
drwxr-xr-x - gpio
drwxr-xr-x - log
drwxr-xr-x - random