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