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

%CONFLICTS%
linux
uboot-raspberrypi

%PROVIDES%
linux=6.1.35
WIREGUARD-MODULE

%OPTDEPENDS%
wireless-regdb: to set the correct wireless channels of your country

