# Generated by makepkg 6.0.2
# using fakeroot version 1.33
pkgname = linux-rpi4
pkgbase = linux-rpi4
pkgver = 6.6.33-2
pkgdesc = The Linux Kernel and modules - Raspberry Pi 4 64-bit kernel
url = http://www.kernel.org/
builddate = 1718761887
packager = Unknown Packager
size = 32052574
arch = aarch64
license = GPL2
replaces = linux-raspberrypi-latest
conflict = kernel26
conflict = linux
conflict = uboot-raspberrypi
provides = kernel26
provides = linux=6.6.33
depend = coreutils
depend = kmod
depend = initramfs
depend = firmware-raspberrypi
depend = raspberrypi-bootloader
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
