# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = linux-rpi4
pkgbase = linux-rpi4
xdata = pkgtype=split
pkgver = 6.12.41-1
pkgdesc = The Linux Kernel and modules - Raspberry Pi 4 64-bit kernel
url = http://www.kernel.org/
builddate = 1754047234
packager = Manjaro Build Server <build@manjaro.org>
size = 50040600
arch = aarch64
license = GPL2
conflict = linux-rpi4-mainline
conflict = linux-rpi4-rc
provides = linux=6.12.41
depend = coreutils
depend = kmod
depend = initramfs
depend = firmware-raspberrypi
depend = raspberrypi-bootloader
depend = scx-scheds
optdepend = wireless-regdb: Set the correct wireless channels of your country
optdepend = linux-firmware: Extra firmware not provided by RPi or kernel
makedepend = xmlto
makedepend = docbook-xsl
makedepend = kmod
makedepend = inetutils
makedepend = bc
makedepend = git
makedepend = pahole
makedepend = zstd
