summarylogtreecommitdiffstats
path: root/.SRCINFO
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