Tips and Tricks for Kernel Development