“Today I discovered Ketchup, a little command-line tool to
manage your Linux kernel sources. If you’re one of the weirdos, who
is still compiling his kernel manually for whatever reason (like I
do), I can only recommend it. Ketchup nicely eases up the entire
process of checking for updates and applying them to your
system.“Let’s not hesitate and look at few usage examples… Want to
know what’s the latest version of a particular kernel-tree…?”