fix(kernel_crawler): support debian rpi.

Signed-off-by: Federico Di Pierro <[email protected]>

kernel_crawler/debian.py

@@ -58,7 +58,8 @@ def to_driverkit_config(self, release, deps):
         headers = []
         headers_rt = []
         headers_cloud = []
-        # Magic to obtain `rt`, `cloud` and normal headers:
+        headers_rpi = []
+        # Magic to obtain `rt`, `cloud`, `rpi` and normal headers:
         # List is like this one:
         # "http://security.debian.org/pool/updates/main/l/linux/linux-headers-4.19.0-23-common_4.19.269-1_all.deb",
         # "http://security.debian.org/pool/updates/main/l/linux/linux-headers-4.19.0-23-rt-amd64_4.19.269-1_amd64.deb",
@@ -78,18 +79,23 @@ def to_driverkit_config(self, release, deps):
                     else:
                         headers.append(dep)
                         headers_cloud.append(dep)
+                        headers_rpi.append(dep)
                 else:
                     if dep.find("-rt") != -1:
                         headers_rt.append(dep)
                     elif dep.find("-cloud") != -1:
                         headers_cloud.append(dep)
+                    elif dep.find("-rpi") != -1:
+                        headers_rpi.append(dep)
                     else:
                         headers.append(dep)
             if dep.find("kbuild") != -1:
                 headers.append(dep)
                 headers_rt.append(dep)
                 headers_cloud.append(dep)
+                headers_rpi.append(dep)
 
         return [repo.DriverKitConfig(release + "-" + self.arch, "debian", headers),
                       repo.DriverKitConfig(release + "-rt-" + self.arch, "debian", headers_rt),
-                      repo.DriverKitConfig(release + "-cloud-" + self.arch, "debian", headers_cloud)]
+                      repo.DriverKitConfig(release + "-cloud-" + self.arch, "debian", headers_cloud),
+                      repo.DriverKitConfig(release + "-rpi-" + self.arch, "debian", headers_rpi),]