# Build and compile a Real Time Linux kernel version="6.12.4" kernel_src="https://mirrors.edge.kernel.org/pub/linux/kernel/v6.x/linux-$version.tar.xz" get_kernel_src () { curl -O $kernel_src tar -xvf linux-$version.tar.xz cd linux-$version } build_kernel () { cp /boot/config-$version-generic .config make menuconfig # Activate “Fully Preemptible Kernel (Real-Time)” option from “General setup” / “Preemption Model” then SAVE and EXIT. sudo make } install_kernel () { sudo make moudules_install sudo make install }