There is a bug in the CKRM CPU scheduler. This has been reported to the
[linux-2.6.git] / arch / mips / sibyte / sb1250 /
drwxr-xr-x   ..
-rw-r--r-- 243 Makefile
-rw-r--r-- 11471 bcm1250_tbprof.c
-rw-r--r-- 7915 bus_watcher.c
-rw-r--r-- 11658 irq.c
-rw-r--r-- 4102 irq_handler.S
-rw-r--r-- 3068 prom.c
-rw-r--r-- 5468 setup.c
-rw-r--r-- 2805 smp.c
-rw-r--r-- 4120 time.c