# Generated by makepkg 5.1.2
# using fakeroot version 1.23
pkgname = linux-aarch64
pkgbase = linux-aarch64
pkgver = 4.20.13-1
pkgdesc = The Linux Kernel and modules - AArch64 multi-platform
url = http://www.kernel.org/
builddate = 1551315787
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 117884928
arch = aarch64
license = GPL2
replaces = linux-armv8
conflict = linux
provides = kernel26
provides = linux=4.20.13
backup = etc/mkinitcpio.d/linux-aarch64.preset
depend = coreutils
depend = linux-firmware
depend = kmod
depend = mkinitcpio>=0.7
optdepend = crda: to set the correct wireless channels of your country
makedepend = xmlto
makedepend = docbook-xsl
makedepend = kmod
makedepend = inetutils
makedepend = bc
makedepend = git
makedepend = uboot-tools
makedepend = vboot-utils
makedepend = dtc
