pkgbase = linux-pds
	pkgdesc = Linux
	pkgver = 5.4.2.arch1
	pkgrel = 1
	url = https://git.archlinux.org/linux.git/log/?h=v5.4.2-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.2-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 = 5a2a28a3cbcb0424060798b64b59a388f9a0831d882e260e5c28739e74f1a6df1906e9bb82f85cae2fae1dd62c86468111383097824aae4868c7c968a453248a
	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.2.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.2.arch1
	provides = linux-pds-headers=5.4.2.arch1
	provides = linux-headers=5.4.2.arch1

pkgname = linux-pds-docs
	pkgdesc = Documentation for the Linux kernel