diff --git a/includes/gen-packages9.ksi b/includes/gen-packages9.ksi
index 544ee80..bb70471 100644
--- a/includes/gen-packages9.ksi
+++ b/includes/gen-packages9.ksi
@@ -1,8 +1,8 @@
 # Package setup
 %packages
 dracut-config-generic
-kernel
-kernel-core
+kernel-mainline
+kernel-mainline-core
 grub2-common
 grub2-efi-aa64
 grub2-efi-aa64-modules
diff --git a/includes/gen-postcommon9.ksi b/includes/gen-postcommon9.ksi
index 38816b8..f41c1a8 100644
--- a/includes/gen-postcommon9.ksi
+++ b/includes/gen-postcommon9.ksi
@@ -32,7 +32,7 @@ cat << EOF > /etc/sysconfig/kernel
 UPDATEDEFAULT=yes
 
 # DEFAULTKERNEL specifies the default kernel package type
-DEFAULTKERNEL=kernel-core
+DEFAULTKERNEL=kernel-mainline-core
 EOF
 chmod 644 /etc/sysconfig/kernel
 
diff --git a/includes/gen-reposcommon9.ksi b/includes/gen-reposcommon9.ksi
index feceed5..1e12c3a 100644
--- a/includes/gen-reposcommon9.ksi
+++ b/includes/gen-reposcommon9.ksi
@@ -1 +1 @@
-repo --name="instKern" --baseurl=https://rockyrepos.gnulab.org/gen_aarch64_el9/ --cost=100 --install
+repo --name="instKern" --baseurl=https://yumrepofs.build.resf.org/v1/projects/708f99fe-7e89-4241-959a-4ff259786b4a/repo/all/aarch64 --cost=100 --install