blob: 11173a327d10846cf0647f9e0a66fda776806c3b (
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-pds
pkgdesc = Linux
pkgver = 5.4.8.arch1
pkgrel = 1
url = https://git.archlinux.org/linux.git/log/?h=v5.4.8-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.4.8-arch1
source = git+https://github.com/graysky2/kernel_gcc_patch
source = config
source = 0005-v5.4_undead-pds099o.patch
source = 0005-glitched-pds.patch
validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
validpgpkeys = 8218F88849AAC522E94CF470A5E9288C4FA415FA
sha512sums = SKIP
sha512sums = SKIP
sha512sums = fba44e56cd550775f56fe4840b95d4b7340ac20f4df767f02c6591e39f4d32e3d562b692066e8dee87f9312284c0d1463c0c55583d5e194cd2efe4af79164bd8
sha512sums = d44f20eabaadf8160adfcb67bc84bdf195d6475f0f6daebd0140749eb57cf7aa0619360bc37668c8df940f18ca5489730638d3e2db749a4c6e349819a64ed377
sha512sums = af8e0a8f1e9ad587c01a945d50d03ed3fc593036ca20c641353a6496317716120bd5015aea25a9f1aad936b95f69a39e3d60db5b66499790d1dc9358ce81da28
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 = thrash-protect
optdepends = crda: to set the correct wireless channels of your country
optdepends = linux-firmware: firmware images needed for some devices
provides = linux-pds=5.4.8.arch1
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
depends = linux-pds=5.4.8.arch1
provides = linux-pds-headers=5.4.8.arch1
provides = linux-headers=5.4.8.arch1
pkgname = linux-pds-docs
pkgdesc = Documentation for the Linux kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG
|