Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
wiki:system_configuration [2020/03/17 20:47] – [The kernel] autostatic | wiki:system_configuration [2020/03/17 21:15] – [The kernel] autostatic | ||
---|---|---|---|
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 | + | RT kernels are available |
=== 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 ~/ |