# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = linux-rpi
pkgbase = linux-rpi
xdata = pkgtype=split
pkgver = 6.12.46-1
pkgdesc = Linux kernel and modules (RPi Foundation fork)
url = https://github.com/raspberrypi/linux
builddate = 1757947161
packager = Arch Linux ARM Build System <builder+xu0@archlinuxarm.org>
size = 31253984
arch = armv7h
license = GPL-2.0-only
conflict = linux
conflict = linux-rpi-16k
conflict = uboot-raspberrypi
provides = linux=6.12.46
provides = KSMBD-MODULE
provides = WIREGUARD-MODULE
backup = boot/config.txt
backup = boot/cmdline.txt
depend = coreutils
depend = firmware-raspberrypi
depend = kmod
depend = mkinitcpio>=0.7
depend = raspberrypi-bootloader
optdepend = linux-firmware: firmware images needed for some devices
optdepend = wireless-regdb: to set the correct wireless channels of your country
makedepend = bc
makedepend = kmod
makedepend = inetutils
