kernel: new DEBUG_RACE option. try to provoke race conditions between processes.
[minix.git] / kernel / 
tree51fec3f32c72d9d49c749a39190e6aa60590717e
drwxr-xr-x   ..
-rw-r--r-- 624 Makefile
drwxr-xr-x - arch
-rw-r--r-- 8497 clock.c
-rw-r--r-- 441 clock.h
-rw-r--r-- 3329 config.h
-rw-r--r-- 983 const.h
-rw-r--r-- 4871 debug.c
-rw-r--r-- 1918 debug.h
-rw-r--r-- 2824 glo.h
-rw-r--r-- 5006 interrupt.c
-rw-r--r-- 1851 ipc.h
-rw-r--r-- 1926 kernel.h
-rw-r--r-- 11297 main.c
-rw-r--r-- 6536 priv.h
-rw-r--r-- 43384 proc.c
-rw-r--r-- 10107 proc.h
-rw-r--r-- 4754 profile.c
-rw-r--r-- 1038 profile.h
-rw-r--r-- 8303 proto.h
-rw-r--r-- 4182 start.c
-rw-r--r-- 22919 system.c
-rw-r--r-- 7050 system.h
drwxr-xr-x - system
-rw-r--r-- 4493 table.c
-rw-r--r-- 1376 type.h
-rw-r--r-- 2025 utility.c
-rw-r--r-- 398 vm.h
-rw-r--r-- 1411 watchdog.c
-rw-r--r-- 1251 watchdog.h