only check local benchmark dir if it exists
[minix.git] / kernel / 
treeae3164d6b8dc523fe9db85921d930d757b160830
drwxr-xr-x   ..
-rw-r--r-- 1063 Makefile
drwxr-xr-x - arch
-rw-r--r-- 10137 clock.c
-rw-r--r-- 446 clock.h
-rw-r--r-- 3110 config.h
-rw-r--r-- 1778 const.h
-rw-r--r-- 3760 debug.c
-rw-r--r-- 2369 debug.h
-rw-r--r-- 3002 glo.h
-rw-r--r-- 4449 interrupt.c
-rw-r--r-- 855 ipc.h
-rw-r--r-- 2003 kernel.h
-rw-r--r-- 11190 main.c
-rw-r--r-- 6268 priv.h
-rw-r--r-- 48328 proc.c
-rw-r--r-- 10454 proc.h
-rw-r--r-- 4832 profile.c
-rw-r--r-- 1038 profile.h
-rw-r--r-- 7552 proto.h
-rw-r--r-- 3970 start.c
-rw-r--r-- 22250 system.c
-rw-r--r-- 6339 system.h
drwxr-xr-x - system
-rw-r--r-- 4110 table.c
-rw-r--r-- 1365 type.h
-rw-r--r-- 2531 utility.c
-rw-r--r-- 429 vm.h
-rw-r--r-- 1408 watchdog.c
-rw-r--r-- 1250 watchdog.h