/kernel/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2009-08-15 00:33 +0200 7532 itimer.c
-rw-r--r-- 2009-08-15 00:33 +0200 10633 mutex.c
-rw-r--r-- 2009-08-15 00:33 +0200 1106 mutex.h
-rw-r--r-- 2009-08-15 00:33 +0200 5358 rcupdate.c
-rw-r--r-- 2009-08-15 00:33 +0200 2657 rwsem.c
-rw-r--r-- 2009-08-15 00:33 +0200 18956 softirq.c
-rw-r--r-- 2009-08-15 00:33 +0200 74475 sysctl.c
-rw-r--r-- 2009-08-15 00:33 +0200 51516 sysctl_check.c
-rw-r--r-- 2009-08-15 00:33 +0200 42120 timer.c