# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = linux-rpi-16k
pkgbase = linux-rpi-16k
xdata = pkgtype=split
pkgver = 6.12.57-1
pkgdesc = Linux kernel and modules (RPi Foundation fork) with 16k pagesize for bcm2712/RPi5 ONLY
url = https://github.com/raspberrypi/linux
builddate = 1762181733
packager = Arch Linux ARM Build System <builder+n0@archlinuxarm.org>
size = 49156309
arch = aarch64
license = GPL-2.0-only
conflict = linux
conflict = linux-rpi
conflict = uboot-raspberrypi
provides = linux=6.12.57
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
