# Generated by makepkg 5.2.2
# using fakeroot version 1.25.3
pkgname = linux-raspberrypi4
pkgbase = linux-raspberrypi4
pkgver = 5.10.17-1
pkgdesc = The Linux Kernel and modules - Raspberry Pi 4
url = http://www.kernel.org/
builddate = 1614000609
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 47990086
arch = aarch64
license = GPL2
replaces = linux-raspberrypi-latest
conflict = kernel26
conflict = linux
conflict = uboot-raspberrypi
provides = kernel26
provides = linux=5.10.17
provides = WIREGUARD-MODULE
backup = boot/config.txt
backup = boot/cmdline.txt
depend = coreutils
depend = linux-firmware
depend = kmod
depend = mkinitcpio>=0.7
depend = firmware-raspberrypi
optdepend = crda: to set the correct wireless channels of your country
makedepend = xmlto
makedepend = docbook-xsl
makedepend = kmod
makedepend = inetutils
makedepend = bc
makedepend = git
