Don't build the ksplice core twice.
[ksplice.git] / kmodsrc / 
tree3610947f2eb6d842777df3fbd8165bdb0b7c4b8a
drwxr-xr-x   ..
-rw-r--r-- 4132 Makefile.in
drwxr-xr-x - arm
-rw-r--r-- 2462 helper.c
-rw-r--r-- 263 ksplice-rmsyms.lds
-rw-r--r-- 120550 ksplice.c
-rw-r--r-- 8458 ksplice.h
-rw-r--r-- 860 ksplice.lds.S
-rw-r--r-- 6779 offsets.c
-rw-r--r-- 312 offsets.h
-rw-r--r-- 4303 primary.c
drwxr-xr-x - x86