Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
wiki:system_configuration [2020/03/17 17:39] – [Disabling resource-intensive daemons, services and processes] autostatic | wiki:system_configuration [2020/03/17 21:21] – [The kernel] autostatic | ||
---|---|---|---|
Line 38: | Line 38: | ||
Run '' | Run '' | ||
- | Linux xps13 4.8.15-core2-rt10 #1 SMP PREEMPT RT Sun May 28 10:43:44 CEST 2017 x86_64 x86_64 x86_64 GNU/Linux | + | Linux XPS-13-9360 5.4.24-core2-rt15 #1~bionic1 |
- | 4.8.15-core2-rt10 is the version number of the currently running kernel. The configuration file with which this kernel was created can be found in ''/ | + | 5.4.24-core2-rt15 is the version number of the currently running kernel. The configuration file with which this kernel was created can be found in ''/ |
CONFIG_HZ_1000=y | CONFIG_HZ_1000=y | ||
Line 85: | Line 85: | ||
== Debian == | == Debian == | ||
- | Since Debian Wheezy an RT variant is also available in the [[https:// | + | Since Debian Wheezy an RT variant is also available in the [[https:// |
- | + | ||
- | deb http:// | + | |
== Arch == | == Arch == | ||
Line 95: | Line 93: | ||
== Gentoo == | == Gentoo == | ||
- | RT kernels are vailable in the pro-audio overlay | + | AN audio overlay |
=== Build your own real-time kernel === | === Build your own real-time kernel === | ||
Line 104: | Line 102: | ||
sudo apt-get install kernel-package fakeroot build-essential | sudo apt-get install kernel-package fakeroot build-essential | ||
- | Download the kernel sources and the RT patchset (this example uses the 3.18 branch, you're free to use another kernel branch for which there is a RT patch set available): | + | Download the kernel sources and the RT patchset (this example uses the 4.8 branch, you're free to use another kernel branch for which there is a RT patch set available): |
mkdir -p ~/ | mkdir -p ~/ | ||
cd ~/ | cd ~/ |