# Generated by makepkg 6.0.2
# using fakeroot version 1.32.1
pkgname = linux-rpi4-mainline
pkgbase = linux-rpi4-mainline
pkgver = 6.4.11-1
pkgdesc = The Linux Kernel and modules - Raspberry Pi 4 64-bit kernel
url = http://www.kernel.org/
builddate = 1692288803
packager = Manjaro Build Server <build@manjaro.org>
size = 47130212
arch = aarch64
license = GPL2
replaces = linux-raspberrypi-latest
conflict = kernel26
conflict = linux
conflict = uboot-raspberrypi
provides = kernel26
provides = linux=6.4.11
depend = coreutils
depend = kmod
depend = initramfs
depend = firmware-raspberrypi
optdepend = wireless-regdb: to set the correct wireless channels of your country
optdepend = linux-firmware: additional firmware
makedepend = xmlto
makedepend = docbook-xsl
makedepend = kmod
makedepend = inetutils
makedepend = bc
makedepend = git
