Ksplice — extension of the Linux kernel that allows security patches to be applied to a running kernel