%FILENAME%
linux-aarch64-7.2.9-1-aarch64.pkg.tar.xz

%NAME%
linux-aarch64

%BASE%
linux-aarch64

%VERSION%
7.2.9-1

%DESC%
The Linux Kernel and modules - AArch64 multi-platform

%CSIZE%
68666328

%ISIZE%
393183804

%SHA256SUM%
211cc9571238edcaa4ece16ce973d3080a2875ff55d1be0199c81cdfdd8ef009

%URL%
http://www.kernel.org/

%LICENSE%
GPL-2.0-only

%ARCH%
aarch64

%BUILDDATE%
1791112381

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%CONFLICTS%
linux

%PROVIDES%
linux=7.2.9
KSMBD-MODULE
WIREGUARD-MODULE

%DEPENDS%
coreutils
kmod
mkinitcpio>=0.7

%OPTDEPENDS%
firmware-raspberrypi: WiFi and Bluetooth firmware for Raspberry Pi
linux-firmware: firmware images needed for some devices
raspberry-pi5-armstub: NEEDED to boot RPi5 with linux-aarch64 mainline kernel
wireless-regdb: to set the correct wireless channels of your country

%MAKEDEPENDS%
xmlto
docbook-xsl
kmod
inetutils
bc
git
uboot-tools
vboot-utils
dtc
python

