[home_smarty12_RaspberryPi_kernel-4.19] name=kernel 4.19 for Raspberry Pi (RaspberryPi_Leap_15.1) type=rpm-md baseurl=https://download.opensuse.org/repositories/home:/smarty12:/RaspberryPi:/kernel-4.19/RaspberryPi_Leap_15.1/ gpgcheck=1 gpgkey=https://download.opensuse.org/repositories/home:/smarty12:/RaspberryPi:/kernel-4.19/RaspberryPi_Leap_15.1/repodata/repomd.xml.key enabled=1