deps: update mainline kernel for Fedora 40

edgelesssys · May 14, 2024 · 75bd08e · 75bd08e
1 parent e8618f5
commit 75bd08e
Showing 1 changed file with 8 additions and 12 deletions.
diff --git a/bazel/toolchains/linux_kernel.bzl b/bazel/toolchains/linux_kernel.bzl
@@ -47,36 +47,32 @@ def kernel_rpms():
     http_file(
         name = "kernel_mainline",
         urls = [
-            "https://cdn.confidential.cloud/constellation/cas/sha256/199d3aa46ed1325bb37e163a7f649a4f4dc739421389b7e9d9697af25c589a92",
-            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/100.fc38/x86_64/kernel-6.8.9-100.fc38.x86_64.rpm",
+            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/300.fc40/x86_64/kernel-6.8.9-300.fc40.x86_64.rpm",
         ],
         downloaded_file_path = "kernel-mainline.rpm",
-        sha256 = "199d3aa46ed1325bb37e163a7f649a4f4dc739421389b7e9d9697af25c589a92",
+        sha256 = "6eaec29870e6549d95a93b72ea10715507db84b851c68c0d75e44e4c20f895f2",
     )
     http_file(
         name = "kernel_core_mainline",
         urls = [
-            "https://cdn.confidential.cloud/constellation/cas/sha256/aa58f8a6850e67b3e8e93240e0d62a56cee55ddb7a14df6346e9c26ce6fb2bce",
-            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/100.fc38/x86_64/kernel-core-6.8.9-100.fc38.x86_64.rpm",
+            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/300.fc40/x86_64/kernel-core-6.8.9-300.fc40.x86_64.rpm",
         ],
         downloaded_file_path = "kernel-core-mainline.rpm",
-        sha256 = "aa58f8a6850e67b3e8e93240e0d62a56cee55ddb7a14df6346e9c26ce6fb2bce",
+        sha256 = "910fd35209f7dc8185e88dddeaccf6158dd63ad9fd469ef3dc81b96840ef28eb",
     )
     http_file(
         name = "kernel_modules_mainline",
         urls = [
-            "https://cdn.confidential.cloud/constellation/cas/sha256/46ca357ee96f17a37664563b308ee9bee7b21b9b639f3389774e953a9b34ce81",
-            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/100.fc38/x86_64/kernel-modules-6.8.9-100.fc38.x86_64.rpm",
+            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/300.fc40/x86_64/kernel-modules-6.8.9-300.fc40.x86_64.rpm",
         ],
         downloaded_file_path = "kernel-modules-mainline.rpm",
-        sha256 = "46ca357ee96f17a37664563b308ee9bee7b21b9b639f3389774e953a9b34ce81",
+        sha256 = "b8de20433c68d2fe0ca6625e25f314aba36a9327592db8b1478b97bb50521149",
     )
     http_file(
         name = "kernel_modules_core_mainline",
         urls = [
-            "https://cdn.confidential.cloud/constellation/cas/sha256/ee983f7784fc5801378d675a4d41a57cafc6525147b601c49a04cea60ac81d79",
-            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/100.fc38/x86_64/kernel-modules-core-6.8.9-100.fc38.x86_64.rpm",
+            "https://kojipkgs.fedoraproject.org/packages/kernel/6.8.9/300.fc40/x86_64/kernel-modules-core-6.8.9-300.fc40.x86_64.rpm",
         ],
         downloaded_file_path = "kernel-modules-core-mainline.rpm",
-        sha256 = "ee983f7784fc5801378d675a4d41a57cafc6525147b601c49a04cea60ac81d79",
+        sha256 = "8ecd8e96483810d18e04a20cd8ecef46f27bff0fbb54f23e67adb813828b3cec",
     )