pkgbase = linux-x32
	pkgver = 4.19.2.arch1
	pkgrel = 1
	url = https://git.archlinux.org/linux.git/log/?h=v4.19.2-arch1
	arch = x86_64
	license = GPL2
	makedepends = xmlto
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	makedepends = libelf
	makedepends = git
	makedepends = python-sphinx
	makedepends = graphviz
	options = !strip
	source = archlinux-linux::git+https://git.archlinux.org/linux.git?signed#tag=v4.19.2-arch1
	source = config
	source = 60-linux.hook
	source = 90-linux.hook
	source = linux.preset
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	validpgpkeys = 8218F88849AAC522E94CF470A5E9288C4FA415FA
	sha256sums = SKIP
	sha256sums = ce0ebaba9614895e681195cec833acabe75f66330611ff0b01bc8f8cce2c01b1
	sha256sums = ae2e95db94ef7176207c690224169594d49445e04249d2499e9d2fbc117a0b21
	sha256sums = 75f99f5239e03238f88d1a834c50043ec32b1dc568f2cc291b07d04718483919
	sha256sums = ad6344badc91ad0630caacde83f7f9b97276f80d26a20619a87952be65492c65

pkgname = linux-x32
	pkgdesc = The Linux kernel and modules with x32 ABI support
	install = linux.install
	depends = coreutils
	depends = linux-firmware
	depends = kmod
	depends = mkinitcpio
	optdepends = crda: to set the correct wireless channels of your country
	backup = etc/mkinitcpio.d/linux-x32.preset

pkgname = linux-x32-headers
	pkgdesc = Header files and scripts for building modules for Linux-x32 kernel

pkgname = linux-x32-docs
	pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-x32 kernel