blob: aa06a4e06c27d626f935dd8e427e0036773a8f66 (
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
51
52
|
pkgbase = linux-rt
pkgdesc = Linux RT
pkgver = 5.6.17.9
pkgrel = 1
url = https://wiki.linuxfoundation.org/realtime/start
arch = x86_64
license = GPL2
makedepends = bc
makedepends = git
makedepends = graphviz
makedepends = imagemagick
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.6.17.tar.xz
source = https://www.kernel.org/pub/linux/kernel/v5.x/linux-5.6.17.tar.sign
source = https://www.kernel.org/pub/linux/kernel/projects/rt/5.6/older/patch-5.6.17-rt9.patch.xz
source = https://www.kernel.org/pub/linux/kernel/projects/rt/5.6/older/patch-5.6.17-rt9.patch.sign
source = config
source = 0001-ZEN-Add-sysctl-and-CONFIG-to-disallow-unprivileged-C.patch
source = sphinx-workaround.patch
validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
validpgpkeys = 8218F88849AAC522E94CF470A5E9288C4FA415FA
validpgpkeys = 64254695FFF0AA4466CC19E67B96E8162A8CF5D1
validpgpkeys = 5ED9A48FC54C0A22D1D0804CEBC26CDB5A56DE73
validpgpkeys = E644E2F1D45FA0B2EAA02F33109F098506FF0B14
sha256sums = c33a245401db38de760a7229cf3917eb6e6f8fabab0dc5add95b9b8f3e557f9e
sha256sums = SKIP
sha256sums = 0b78af5ea1e1e3d2b633e3c4715ca14a59736ebc70eb9662f4a04c790bb6114c
sha256sums = SKIP
sha256sums = 4eef5757aec0357d46e8e9fd146f414d438812ef34d4f51b56baa93e7fa43493
sha256sums = ad3275a696348703c57f05b9626e7fbab7243299da32e52044ff51666f810e85
sha256sums = 8cb21e0b3411327b627a9dd15b8eb773295a0d2782b1a41b2a8839d1b2f5778c
pkgname = linux-rt
pkgdesc = The Linux RT kernel and modules
depends = coreutils
depends = initramfs
depends = kmod
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 = Headers and scripts for building modules for the Linux RT kernel
pkgname = linux-rt-docs
pkgdesc = Documentation for the Linux RT kernel
|