%FILENAME%
linux-rpi-pikvm-6.12.56-8-armv7h.pkg.tar.xz

%NAME%
linux-rpi-pikvm

%BASE%
linux-rpi

%VERSION%
6.12.56-8

%DESC%
Linux kernel and modules (RPi Foundation fork with PiKVM patches)

%CSIZE%
30717860

%ISIZE%
32661367

%SHA256SUM%
24899c9fb6ff19fc33421b51bb14dfc767f96c8cbc7730f65c0923e10a2ac74f

%URL%
https://github.com/raspberrypi/linux

%LICENSE%
GPL-2.0-only

%ARCH%
armv7h

%BUILDDATE%
1773434095

%PACKAGER%
Unknown Packager

%REPLACES%
linux-raspberrypi-latest
linux-raspberrypi4
linux-raspberrypi4-pikvm
linux-raspberrypi-pikvm
linux-raspberrypi

%CONFLICTS%
linux
linux-rpi-16k
uboot-raspberrypi
linux-raspberrypi4
linux-raspberrypi
linux-rpi

%PROVIDES%
linux=6.12.56
KSMBD-MODULE
WIREGUARD-MODULE
linux-raspberrypi4=6.12.56
linux-raspberrypi=6.12.56
linux-rpi=6.12.56

%DEPENDS%
coreutils
firmware-raspberrypi
kmod
mkinitcpio>=0.7
raspberrypi-bootloader

%OPTDEPENDS%
linux-firmware-pikvm: firmware images needed for some devices
wireless-regdb: to set the correct wireless channels of your country

%MAKEDEPENDS%
bc
kmod
inetutils

