debug buffer slightly usabler.
[minix.git] / kernel / 
treeaeb1273798cdac66f725176b964434d966f97e57
drwxr-xr-x   ..
-rwxr-xr-x 1044 Makefile
drwxr-xr-x - arch
-rwxr-xr-x 11374 clock.c
-rw-r--r-- 3367 config.h
-rwxr-xr-x 2056 const.h
-rw-r--r-- 4838 debug.c
-rw-r--r-- 1047 debug.h
-rwxr-xr-x 3780 glo.h
-rw-r--r-- 4051 interrupt.c
-rw-r--r-- 987 ipc.h
-rwxr-xr-x 1370 kernel.h
-rwxr-xr-x 8878 main.c
-rwxr-xr-x 3699 priv.h
-rwxr-xr-x 46207 proc.c
-rwxr-xr-x 7912 proc.h
-rw-r--r-- 4883 profile.c
-rw-r--r-- 1128 profile.h
-rwxr-xr-x 7663 proto.h
-rwxr-xr-x 3661 start.c
-rwxr-xr-x 24255 system.c
-rw-r--r-- 5628 system.h
drwxr-xr-x - system
-rwxr-xr-x 6713 table.c
-rwxr-xr-x 2033 type.h
-rwxr-xr-x 2624 utility.c
-rw-r--r-- 459 vm.h