Package ketchup

Linux Kernel source switch/update tool

https://github.com/psomas/ketchup/

Ketchup is a tool for updating or switching between versions of the
Linux kernel source. It can:
- Find the latest versions of numerous KernelTrees;
- Calculate which patches are needed to move to that version;
- Download any patches or tarballs that aren't cached;
- Check GPG signatures where available;
- Apply and unapply patches to get the desired result.
General Commands
Command Description
ketchup Utility to update the kernel source