Brouillon Pb ksplice mise a jour kernel à chaud

Ç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