some examples for Linux kernel programming