Improve the process for GNU tools55/3355/3
[minix3.git] / minix / drivers / vmm_guest / 
tree1dda86746095e8690fa7c9fda31b1c416a5f48e7
drwxr-xr-x   ..
-rw-r--r-- 128 Makefile
-rw-r--r-- 27 Makefile.inc
drwxr-xr-x - vbox