For me, Debian is the obvious choice for a server. But sometimes I need a more recent kernel. As I am lazy, I do not want to build the kernel and shuffle around the deb-files on my machines, so this is where this repo comes in.
I used the Debian kernel configuration found in /boot/config-* and imported
it using make oldconfig and used the default values offered.
A linux kernel also knows make deb-pkg as a target, so packaging is done in
a breeze.
Attention: This kernel is NOT signed.
Kernel.org recent kernel sources with the trusty old debian config.
Sources:
Latest sync with debian-kernel config: 2024-04-30
Changes:
- none so far
Kernel.org recent kernel sources with debian config as a base, most of the drivers stripped and tuned to run on a VM
Sources:
Changes:
- stripped drivers except for VirtIO, Xen, etc
- set 'MQ Deadline' as the default IO Scheduler
-
Add the repository:
curl -s https://packagecloud.io/install/repositories/debian-kernels/buster/script.deb.sh | sudo bash -
Install the kernel
sudo apt update sudo apt install <kernel-flavor>kernel-flavor can be any of vanilla-kernel, vm-kernel or gameserver-kernel
- Download the zip files from the release page
- Unzip the archive
- Use dpkg -i to install the packages (
dpkg -i *.debworks fine on Ubuntu as well)
You may want to try the program Alien to convert the package to the format of your liking.
(Example: alien --to-rpm /path/to/file.deb)
If this doesn't work, you can convert the packages to be a tarball and unpack the kernel and modules into your system.
A big thank you to https://packagecloud.io/ for providing me with repository hosting for those packages as it wouldn't be possible for me to host the repository on my line here.
