From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Mon, 17 Apr 2023 08:23:28 +0000 (+0200)
Subject: Use kernel-core instead of kernel in CI for some distros
X-Git-Tag: v15~249
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cb0b5b2e3637f8e2d5fcf32d9de2ab72d17d63f;p=thirdparty%2Fmkosi.git

Use kernel-core instead of kernel in CI for some distros

kernel-core is smaller and has fewer dependencies.
---

diff --git a/.github/mkosi.conf.d/20-alma.conf b/.github/mkosi.conf.d/20-alma.conf
index b41f6bee6..197f12c94 100644
--- a/.github/mkosi.conf.d/20-alma.conf
+++ b/.github/mkosi.conf.d/20-alma.conf
@@ -5,7 +5,7 @@ Distribution=alma
 Repositories=epel
 
 [Content]
-Packages=kernel
+Packages=kernel-core
          systemd
          systemd-boot
          systemd-udev
diff --git a/.github/mkosi.conf.d/20-centos.conf b/.github/mkosi.conf.d/20-centos.conf
index a2cefed23..9f9de2226 100644
--- a/.github/mkosi.conf.d/20-centos.conf
+++ b/.github/mkosi.conf.d/20-centos.conf
@@ -2,7 +2,7 @@
 Distribution=centos
 
 [Content]
-Packages=kernel
+Packages=kernel-core
          systemd
          systemd-boot
          systemd-udev
diff --git a/.github/mkosi.conf.d/20-fedora.conf b/.github/mkosi.conf.d/20-fedora.conf
index c2a7e0802..e9c1da6ba 100644
--- a/.github/mkosi.conf.d/20-fedora.conf
+++ b/.github/mkosi.conf.d/20-fedora.conf
@@ -2,7 +2,7 @@
 Distribution=fedora
 
 [Content]
-Packages=kernel
+Packages=kernel-core
          systemd
          systemd-boot
          systemd-udev
diff --git a/.github/mkosi.conf.d/20-rocky.conf b/.github/mkosi.conf.d/20-rocky.conf
index 0e515d5bd..1ca46d7d5 100644
--- a/.github/mkosi.conf.d/20-rocky.conf
+++ b/.github/mkosi.conf.d/20-rocky.conf
@@ -5,7 +5,7 @@ Distribution=rocky
 Repositories=epel
 
 [Content]
-Packages=kernel
+Packages=kernel-core
          systemd
          systemd-boot
          systemd-udev