A quite interesting tool called ksplice lets us apply patches to the linux kernel without having to stop the machine. Interesting to be able to apply the latest security patches, or simply to ‘tinker’ with the kernel. In the documentation there is a very good example of how to change the standard printk function for a customised one.