From b5b35e7615c7293858732e0b834becf417484a6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mattias=20Walstr=C3=B6m?= <lazzer@gmail.com>
Date: Wed, 29 Oct 2025 15:30:10 +0100
Subject: [PATCH] Update developers guide on howto upgrade Linux kernel

---
 doc/developers-guide.md | 52 +++--------------------------------------
 1 file changed, 3 insertions(+), 49 deletions(-)

diff --git a/doc/developers-guide.md b/doc/developers-guide.md
index 112f945d..320ab2ca 100644
--- a/doc/developers-guide.md
+++ b/doc/developers-guide.md
@@ -349,55 +349,9 @@ kernel is available.
 
 #### Repo locally cloned already
 
-1. Navigate to the Linux kernel directory
-
-        cd linux
-
-1. Get latest changes from KernelKit
-
-        git pull
-
-1. Fetch the latest tags from upstream
-
-        git fetch upstream --tags
-
-#### No local repo yet
-
-1. Clone the KernelKit Linux kernel repository
-
-        git clone git@github.com:kernelkit/linux.git
-
-1. Add the upstream remote
-
-        git remote add upstream git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
-
-1. Checkout correct kernel branch
-
-        git checkout kkit-linux-6.12.y
-
-#### Continue Here
-
-1. Rebase on the upstream release
-
-        git rebase v6.12.29
-
-1. Push changes and the tags
- 
-        git push -f origin kkit-linux-6.12.y --tags
-
-**Move to your Infix source tree**
-
-> [!NOTE] 
-> See help of `kernel-refresh.sh` script for more information.
-
-1. Generate patches
-
-        make x86_64_defconfig
-        cd output
-        ../utils/kernel-refresh.sh -k /path/to/linux -o 6.12.28 -t v6.12.29
-
-1. Commit and push the changes.  Remember to update the ChangeLog
-1. Create a pull request
+- ./utils/kernel-upgrade.sh /path/to/linux/tree
+- Update Changelog
+- push and create a pull request
 
 > [!NOTE] 
 > Remember to set the pull request label to `ci:main` to ensure full CI