# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = linux-aarch64
pkgbase = linux-aarch64
xdata = pkgtype=split
pkgver = 7.1.1-1
pkgdesc = The Linux Kernel and modules - AArch64 multi-platform
url = http://www.kernel.org/
builddate = 1781978891
packager = Arch Linux ARM Build System <builder+n1@archlinuxarm.org>
size = 364218523
arch = aarch64
license = GPL-2.0-only
conflict = linux
provides = linux=7.1.1
provides = KSMBD-MODULE
provides = WIREGUARD-MODULE
depend = coreutils
depend = kmod
depend = mkinitcpio>=0.7
optdepend = firmware-raspberrypi: WiFi and Bluetooth firmware for Raspberry Pi
optdepend = linux-firmware: firmware images needed for some devices
optdepend = raspberry-pi5-armstub: NEEDED to boot RPi5 with linux-aarch64 mainline kernel
optdepend = wireless-regdb: 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
makedepend = python
