.SRCINFO


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-pds
	pkgdesc = Linux
	pkgver = 5.6.12.arch1
	pkgrel = 1
	url = https://git.archlinux.org/linux.git/log/?h=v5.6.12-arch1
	arch = x86_64
	license = GPL2
	makedepends = bc
	makedepends = kmod
	makedepends = libelf
	makedepends = xmlto
	makedepends = python-sphinx
	makedepends = python-sphinx_rtd_theme
	makedepends = graphviz
	makedepends = imagemagick
	makedepends = git
	options = !strip
	source = git+https://git.archlinux.org/linux?signed#tag=v5.6.12-arch1
	source = git+https://github.com/graysky2/kernel_gcc_patch
	source = config
	source = sphinx-workaround.patch
	source = 0005-v5.6_undead-pds099o.patch
	source = 0005-glitched-pds.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	validpgpkeys = 8218F88849AAC522E94CF470A5E9288C4FA415FA
	sha512sums = SKIP
	sha512sums = SKIP
	sha512sums = 31120290a8a4ad52c32f6448f62cf4c3ed038e789ac1dd5b9635f0e1c448038330ee9b4482996949d07f859773325d8e0ceed3d0c5a9ed30f2d4f17bd2640fea
	sha512sums = 98e97155f86bbe837d43f27ec1018b5b6fdc6c372d6f7f2a0fe29da117d53979d9f9c262f886850d92002898682781029b80d4ee923633fc068f979e6c8254be
	sha512sums = 8f3fce45a43c25800d1efb11010a769eafc0a678ea128d695ef5fe189efe1fe60f0bf16d4d7ff13111bdb2385fdcfb27d554c2d3a93debf2341e5e83224f6153
	sha512sums = dca2b705810db5e3c3782ac4c11f499e010752055629213ccada09c8e748d20cd1e8c49a93d2e28c5b0c7bf23a2247f0d9858a26d4a56b7cef35108c731cff1c

pkgname = linux-pds
	pkgdesc = The Linux kernel and modules ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG
	depends = coreutils
	depends = kmod
	depends = initramfs
	depends = linux-firmware
	depends = thrash-protect
	optdepends = crda: to set the correct wireless channels of your country
	provides = VIRTUALBOX-GUEST-MODULES
	provides = WIREGUARD-MODULE
	replaces = virtualbox-guest-modules-arch
	replaces = wireguard-arch

pkgname = linux-pds-headers
	pkgdesc = Header files and scripts for building modules for Linux kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG

pkgname = linux-pds-docs
	pkgdesc = Documentation for the Linux kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG