From a15ee826d38cf1b2198026bf9ed4ff47552fdd54 Mon Sep 17 00:00:00 2001 From: Federico Di Pierro Date: Fri, 15 Dec 2023 15:52:00 +0100 Subject: [PATCH] fix(kernel_crawler): support debian rpi. Signed-off-by: Federico Di Pierro --- kernel_crawler/debian.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/kernel_crawler/debian.py b/kernel_crawler/debian.py index 6be20fc..0a39f52 100644 --- a/kernel_crawler/debian.py +++ b/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),]