A guide for developers who want to make contributions to the Linux kernel