%DEPENDS%
coreutils
linux-firmware
kmod
mkinitcpio>=0.7
uboot-tools

%CONFLICTS%
linux

%PROVIDES%
linux=4.19.12

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

