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

%NAME%
linux-aarch64

%BASE%
linux-aarch64

%VERSION%
7.2.4-1

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

%CSIZE%
67598872

%ISIZE%
387458694

%SHA256SUM%
f168c4fb0d10e71b400c8fdcc68616860b4a90a5b2f9045f42724091a1b8639c

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

%LICENSE%
GPL-2.0-only

%ARCH%
aarch64

%BUILDDATE%
1788983068

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

%CONFLICTS%
linux

%PROVIDES%
linux=7.2.4
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

