Install ketchup by entering the following commands in the terminal:
sudo apt update sudo apt install ketchup
Description:
update utility for linux-kernel sources
This utility can update (or install) kernel sources automatically. It can search for the newest kernel in numerous trees (vanilla, rc, tiny, mm, mjb, etc.). . It can also automatically download the needed patches (and apply them) to create the newest repository from an old one.
Homepage: https://github.com/psomas/ketchup
Version: 1.0.1+git20111228+e1c62066-2
Section: universe/devel