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

%CONFLICTS%
linux
linux-rpi
uboot-raspberrypi

%PROVIDES%
linux=6.18.35
KSMBD-MODULE
WIREGUARD-MODULE

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

