update kernel to 5.13

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)`.

compile.bash

 #!/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