Kernel programming examples