Kernel

We use a custom kernel with NOHZ support enabled.

Build Kernel on Debian/Ubuntu

To build kernel, refer to Chapter 4. Common kernel-related tasks (pages.debian.net).

Current kernel config is at /usr/src/linux-headers-$(uname -r)/.config.

Kernel/BuildYourOwnKernel - Ubuntu Wiki and BuildADebianKernelPackage - Debian Wiki are obsolete, do not use them.

If you don't want to use module signing:

scripts/config --disable MODULE_SIG
scripts/config --disable SYSTEM_TRUSTED_KEYS

Also consider disable debug info:

scripts/config --disable DEBUG_INFO