blob: b73444bd93352dfa9c7d0bba334e19c042afe22a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
pkgbase = linux-rt
pkgver = 5.2.21.15
pkgrel = 1
url = https://wiki.linuxfoundation.org/realtime/start
arch = x86_64
license = GPL2
makedepends = bc
makedepends = git
makedepends = graphviz
makedepends = imagemagick
makedepends = inetutils
makedepends = kmod
makedepends = libelf
makedepends = python-sphinx
makedepends = python-sphinx_rtd_theme
makedepends = xmlto
options = !strip
source = https://www.kernel.org/pub/linux/kernel/v5.x/linux-5.2.21.tar.xz
source = https://www.kernel.org/pub/linux/kernel/v5.x/linux-5.2.21.tar.sign
source = https://www.kernel.org/pub/linux/kernel/projects/rt/5.2/older/patch-5.2.21-rt15.patch.xz
source = https://www.kernel.org/pub/linux/kernel/projects/rt/5.2/older/patch-5.2.21-rt15.patch.sign
source = config
source = 0001-ZEN-Add-sysctl-and-CONFIG-to-disallow-unprivileged-C.patch
validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
validpgpkeys = 8218F88849AAC522E94CF470A5E9288C4FA415FA
validpgpkeys = 64254695FFF0AA4466CC19E67B96E8162A8CF5D1
validpgpkeys = 5ED9A48FC54C0A22D1D0804CEBC26CDB5A56DE73
validpgpkeys = E644E2F1D45FA0B2EAA02F33109F098506FF0B14
sha256sums = 9a8ee3ff75dabffa76141c8dc7529dfbb3ca07888a3708a13f15b412268b3538
sha256sums = SKIP
sha256sums = 0165f49d090cf8aa48049b0eaa49fc1cb01637ec5c3b4a5e580685d5877e9f36
sha256sums = SKIP
sha256sums = e3b9c915ed10bdf0ce3652b9c356b54127bb74c9bc10d5dc4fb8d67bf7677e27
sha256sums = f3e24e85d22bca38cc1a35ab786bb8a118b0b8be72b22c8fa8f996bf96308d19
pkgname = linux-rt
pkgdesc = The Linux-rt kernel and modules
depends = coreutils
depends = kmod
depends = initramfs
optdepends = crda: to set the correct wireless channels of your country
optdepends = linux-firmware: firmware images needed for some devices
pkgname = linux-rt-headers
pkgdesc = Header files and scripts for building modules for Linux-rt kernel
pkgname = linux-rt-docs
pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-rt kernel
|