Package: ksplice

"ksplice" package binaries on Debian:

/usr/bin/ksplice-create /usr/sbin/ksplice-apply /usr/sbin/ksplice-undo /usr/sbin/ksplice-view

You may install this package on Debian with apt-get install ksplice