# Generated by makepkg 6.0.2
# using fakeroot version 1.30.1
pkgname = linux-rpi
pkgbase = linux-rpi
pkgver = 5.15.84-1
pkgdesc = RPi Foundation patched Linux kernel and modules
url = http://www.kernel.org/
builddate = 1671482174
packager = Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>
size = 28470740
arch = armv7h
license = GPL2
replaces = linux-raspberrypi-latest
replaces = linux-raspberrypi4
conflict = linux
conflict = uboot-raspberrypi
provides = linux=5.15.84
provides = WIREGUARD-MODULE
backup = boot/config.txt
backup = boot/cmdline.txt
depend = coreutils
depend = linux-firmware
depend = kmod
depend = mkinitcpio>=0.7
depend = firmware-raspberrypi
optdepend = wireless-regdb: to set the correct wireless channels of your country
makedepend = bc
makedepend = kmod
makedepend = inetutils
