slight tuning of /etc/mk situation when making release.
[minix.git] / kernel / 
treef52a1a3530e443e7bee0a3a8f13f492ea7e254b9
drwxr-xr-x   ..
-rw-r--r-- 1013 Makefile
drwxr-xr-x - arch
-rw-r--r-- 8820 clock.c
-rw-r--r-- 446 clock.h
-rw-r--r-- 3110 config.h
-rw-r--r-- 980 const.h
-rw-r--r-- 3682 debug.c
-rw-r--r-- 2476 debug.h
-rw-r--r-- 2893 glo.h
-rw-r--r-- 4435 interrupt.c
-rw-r--r-- 855 ipc.h
-rw-r--r-- 1926 kernel.h
-rw-r--r-- 11476 main.c
-rw-r--r-- 6268 priv.h
-rw-r--r-- 46253 proc.c
-rw-r--r-- 9839 proc.h
-rw-r--r-- 4832 profile.c
-rw-r--r-- 1038 profile.h
-rw-r--r-- 8385 proto.h
-rw-r--r-- 4166 start.c
-rw-r--r-- 21799 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-- 2525 utility.c
-rw-r--r-- 398 vm.h
-rw-r--r-- 1408 watchdog.c
-rw-r--r-- 1250 watchdog.h