pkgbase = linux-drm-tip-git
	pkgver = 5.6.891992.8ec40a15b9a9
	pkgrel = 1
	url = https://cgit.freedesktop.org/drm-tip/
	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 = linux-drm-tip-git::git+https://anongit.freedesktop.org/git/drm-tip.git#branch=drm-tip
	source = config
	sha256sums = SKIP
	sha256sums = 1c084a9526b2b2c55657301e2ed162b2da36f589f3030653f18588b09a4bc86c

pkgname = linux-drm-tip-git
	pkgdesc = The kernel and modules
	depends = coreutils
	depends = kmod
	depends = initramfs
	optdepends = crda: to set the correct wireless channels of your country
	optdepends = linux-firmware: firmware images needed for some devices

pkgname = linux-drm-tip-git-headers
	pkgdesc = Headers and scripts for building modules for the kernel

pkgname = linux-drm-tip-git-docs
	pkgdesc = Documentation for the kernel