KDevelop plugin for hacking the Linux kernel