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

%CONFLICTS%
kernel26
linux
uboot-raspberrypi

%PROVIDES%
kernel26
linux=5.15.25
WIREGUARD-MODULE

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

