If you installed them using the instructions on the home page, you can uninstall them using the command: sudo apt remove linux-headers-example-pbk && sudo apt remove linux-image-example-pbk** and follow the on terminal instructions.
** Replace the example filenames with the correct filenames of the files that you downloaded.
What versions of Debian are supported?
Debian 12 "Bookworm" and above.
What versions of Ubuntu are supported?
Ubuntu 22.04 "Jammy Jellyfish" and above.
Are the kernels compatible with Secure Boot?
The kernels are unsigned and therefore are not compatible with Secure Boot. You will need to disable Secure Boot in your bios in order to use them.
Are Nvidia / Virtual Box drivers supported?
Those drivers are out of the kernel (built with DKMS) and are not guaranteed to work with our built kernels. DKMS modules compilation are known for breaking with newer kernel versions, so proceed with caution (making a system backup) if you want to try our kernel builds with them.
Linux® is a trademark of Linus Torvalds. This website is not affiliated with The Linux Kernel Archives.