pkgbase = linux-pds
	pkgdesc = Linux
	pkgver = 5.9.1.arch1
	pkgrel = 1
	url = https://git.archlinux.org/linux.git/log/?h=v5.9.1-arch1
	arch = x86_64
	license = GPL2
	makedepends = bc
	makedepends = kmod
	makedepends = libelf
	makedepends = pahole
	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.9.1-arch1
	source = git+https://github.com/graysky2/kernel_gcc_patch
	source = config
	source = sphinx-workaround.patch
	source = 0009-prjc_v5.9-r0.patch
	source = 0005-glitched-pds.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	validpgpkeys = A2FF3A36AAA56654109064AB19802F8B0D70FC30
	sha512sums = SKIP
	sha512sums = SKIP
	sha512sums = 29e6b6b45fec5a93cfdd41d2286c406ed94aaee0148df0e452ace250eeff9287cf87d9a339af34b9beec690db5a3b439a2c7c441313f05f577a4e11b056b1610
	sha512sums = 98e97155f86bbe837d43f27ec1018b5b6fdc6c372d6f7f2a0fe29da117d53979d9f9c262f886850d92002898682781029b80d4ee923633fc068f979e6c8254be
	sha512sums = afc135ec7c147ab6dc22e34f1f3373bde30a3a5fb77032832470ededf97a0a1a3e1fd4294bd0a03ef3edc51a10331ba7e37e63d5f6d6d603111600693bac9755
	sha512sums = 889f0a49f326de3f119290256393b09a9e9241c2a297ca0b7967a2884e4e35d71388d2a559e4c206f55f67228b65e8f2013a1ec61f6ff8f1de3b6a725fd5fa57

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 = Headers and scripts for building modules for the 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