pkgbase = linux-aarch64-raspberrypi
	pkgver = 4.19.25.g7f26b4456f70
	pkgrel = 1
	url = https://github.com/raspberrypi/linux
	arch = aarch64
	license = GPL2
	makedepends = xmlto
	makedepends = docbook-xsl
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	makedepends = git
	makedepends = uboot-tools
	makedepends = vboot-utils
	makedepends = dtc
	options = !strip
	source = git+https://github.com/raspberrypi/linux.git#branch=rpi-4.19.y
	source = config
	source = linux.preset
	source = 99-linux.hook
	md5sums = SKIP
	md5sums = 8d69065f716d419a350953ee971b8775
	md5sums = 06e904bf795a75f5bc74b8b000780467
	md5sums = 1d4477026533efaa0358a40855d50a83

pkgname = linux-aarch64-raspberrypi

pkgname = linux-aarch64-raspberrypi-headers