Ça n'a pas marché sur ma Debian
Voir :
$ uname -a Linux portable 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt11-1+deb8u6 (2015-11-09) x86_64 GNU/Linux
apt-get install linux-source-3.16 apt-get install ksplice
mkdir src cd src tar xf /usr/src/linux-source-3.16.tar.xz mkdir linux-source-3.16/ksplice cp /boot/System.map-3.16.0-4-amd64 linux-source-3.16/ksplice/System.map cp /boot/config-3.16.0-4-amd64 linux-source-3.16/.config
$ export CONCURRENCY_LEVEL=4 $ ksplice-create --diffext=new linux-source-3.16/ cc1: some warnings being treated as errors scripts/Makefile.build:257: recipe for target '/tmp/ksplice-tmp-G_Ex2i/kmodsrc/ksplice.o' failed make[1]: *** [/tmp/ksplice-tmp-G_Ex2i/kmodsrc/ksplice.o] Error 1 Makefile:1352: recipe for target '_module_/tmp/ksplice-tmp-G_Ex2i/kmodsrc' failed make: *** [_module_/tmp/ksplice-tmp-G_Ex2i/kmodsrc] Error 2 make: Leaving directory '/home/jean/src/linux-3.16/linux-source-3.16' Child exited with status 2 Failed during: make -rR -j4 -C /home/jean/src/linux-3.16/linux-source-3.16 M=/tmp/ksplice-tmp-G_Ex2i/kmodsrc KSPLICE_KID=nn7ysgvd KSPLICE_VE