/commands/kerninfo/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2010-12-07 17:29 +0000 2650 kerninfo.cif
-rw-r--r-- 2010-12-07 17:29 +0000 6112 kerninfo.cpp
-rw-r--r-- 2010-12-07 17:29 +0000 910 kerninfo.mmp