From 5838674b2d30b6aa0991acbedc1c17ef0f27d4d9 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 11 Mar 2022 15:41:21 +0100
Subject: [PATCH] update kernel to 5.13
---
README.md | 2 +-
compile.bash | 26 +++++++++++++-------------
2 files changed, 14 insertions(+), 14 deletions(-)
diff --git a/README.md b/README.md
index 1d3ac65..2052bc6 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ These are `deb` packages built for Ubuntu Bionic. The packages are created follo
## Information
-The kernel is built automatically by the CI from the [linux kernel sources](https://mirrors.edge.kernel.org/pub/linux/kernel/v5.x/) version 5.4, using the latest kernel version for which a [real time patch](https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/5.4/) is available. For more information on how the kernel is built, please review the `compile.bash` script.
+The kernel is built automatically by the CI from the [linux kernel sources](https://mirrors.edge.kernel.org/pub/linux/kernel/v5.x/) version 5.13, using the latest kernel version for which a [real time patch](https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/5.13/) is available. For more information on how the kernel is built, please review the `compile.bash` script.
It's `config` file is based on the config provided by a Ubuntu 20.04 installation with two changes:
- The `preemption model` is set to `Fully Preemptible Kernel (RT)`.
diff --git a/compile.bash b/compile.bash
index 1bcbcdd..7b22050 100755
--- a/compile.bash
+++ b/compile.bash
@@ -1,23 +1,23 @@
#!/bin/bash
# get current kernel and realtime patch version
-
-FILE=`curl -s https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/5.9/`
-KERNEL=`echo $FILE | sed -n 's/.*patch-5.9.\(.*\)-rt.*.patch.gz.*/\1/p'`
-RTPATCH=`echo $FILE | sed -n 's/.*patch-5.9..*-rt\(.*\).patch.gz.*/\1/p'`
-echo "using kernel 5.9.$KERNEL with realtime patch $RTPATCH"
+VERSION=5.13
+FILE=`curl -s https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/5.13/`
+KERNEL=`echo $FILE | sed -n 's/.*patch-5.13.\(.*\)-rt.*.patch.gz.*/\1/p'`
+RTPATCH=`echo $FILE | sed -n 's/.*patch-5.13..*-rt\(.*\).patch.gz.*/\1/p'`
+echo "using kernel $VERSION.$KERNEL with realtime patch $RTPATCH"
# get kernel file names and location
KERNELURL=https://www.kernel.org/pub/linux/kernel/v5.x/
-KERNELNAME=linux-5.9.${KERNEL}
-KERNELFILE=linux-5.9.${KERNEL}.tar
-KERNELFILEXZ=linux-5.9.${KERNEL}.tar.xz
-KERNELSIGN=linux-5.9.${KERNEL}.tar.sign
-PATCHURL=https://www.kernel.org/pub/linux/kernel/projects/rt/5.9/
-PATCHFILE=patch-5.9.${KERNEL}-rt${RTPATCH}.patch
-PATCHFILEXZ=patch-5.9.${KERNEL}-rt${RTPATCH}.patch.xz
-PATCHSIGN=patch-5.9.${KERNEL}-rt${RTPATCH}.patch.sign
+KERNELNAME=linux-${VERSION}.${KERNEL}
+KERNELFILE=linux-${VERSION}.${KERNEL}.tar
+KERNELFILEXZ=linux-${VERSION}.${KERNEL}.tar.xz
+KERNELSIGN=linux-${VERSION}.${KERNEL}.tar.sign
+PATCHURL=https://www.kernel.org/pub/linux/kernel/projects/rt/${VERSION}/
+PATCHFILE=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch
+PATCHFILEXZ=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch.xz
+PATCHSIGN=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch.sign
# download kernel
--
GitLab