prepare release 20241203

Author: laroche

docs/DebianAmd64.md

@@ -53,15 +53,15 @@ How to use a Linux system to write the image onto a USB-Stick or a new hard disk
 
 ```shell
 # Download the current Debian Amd64 image:
-wget -q https://github.com/laroche/arm-devel-infrastructure/releases/download/v20240728/debian-stable-amd64-20240728.zip
+wget -q https://github.com/laroche/arm-devel-infrastructure/releases/download/v20241203/debian-stable-amd64-20241203.zip
 # Unpack the zip archive to get the raw image *.img:
-unzip debian-stable-amd64-20240728.zip
+unzip debian-stable-amd64-20241203.zip
 # Make sure your install disk is not mounted:
 #umount /media/$USER/XXX
 # For USB check your devices:
 #lsusb; lsblk
 # Write the disk image to USB-disk or normal hard disk:
-dd if=debian-stable-amd64-20240728/debian-stable-amd64-20240728.img of=/dev/sdX
+dd if=debian-stable-amd64-20241203/debian-stable-amd64-20241203.img of=/dev/sdX
 ```
 
 

docs/DebianRpi3.md

@@ -58,15 +58,15 @@ How to use a Linux system to write the image onto a USB-Stick or a new hard disk
 
 ```shell
 # Download the current Debian rpi3 image:
-wget -q https://github.com/laroche/arm-devel-infrastructure/releases/download/v20240728/debian-stable-rpi3-arm64-20240728.zip
+wget -q https://github.com/laroche/arm-devel-infrastructure/releases/download/v20241203/debian-stable-rpi3-arm64-20241203.zip
 # Unpack the zip archive to get the raw image *.img:
-unzip debian-stable-rpi3-arm64-20240728.zip
+unzip debian-stable-rpi3-arm64-20241203.zip
 # Make sure your install disk is not mounted:
 #umount /media/$USER/XXX
 # For USB check your devices:
 #lsusb; lsblk
 # Write the disk image to USB-disk or normal hard disk:
-dd if=debian-stable-rpi3-arm64-20240728/debian-stable-amd64-20240728.img of=/dev/sdX
+dd if=debian-stable-rpi3-arm64-20241203/debian-stable-amd64-20241203.img of=/dev/sdX
 ```
 
 

vmdb2-debian/install.sh

@@ -4,7 +4,7 @@
 #
 
 # release date to use:
-RDATE="20240728"
+RDATE="20241203"
 # Select either "stable", "testing" or "unstable":
 TYPE="stable"
 # Should we package the image up?

vmdb2-debian/setup.sh

@@ -747,7 +747,7 @@ KVER=6.5.10-1
 # Disabled by default as check for KABI is not enough:
 if false && test "$HOSTTYPE" = "x86_64" && ! test -d /lib/modules/${KABI}-amd64 ; then
   KERNEL=kernel-amd64-$KVER.tar.gz
-  wget -q https://github.com/laroche/arm-devel-infrastructure/releases/download/v20240728/$KERNEL
+  wget -q https://github.com/laroche/arm-devel-infrastructure/releases/download/v20241203/$KERNEL
   tar xzf $KERNEL
   dpkg -i kernel-amd64-$KVER/linux-image-${KABI}-amd64-unsigned_${KVER}_amd64.deb
   rm -fr $KERNEL kernel-amd64-$KVER
@@ -1296,8 +1296,8 @@ if test "X$DEMOSETUP" = X1 ; then
     config_git_default
   fi
   # Remove old Linux kernel:
-  if test -d /lib/modules/6.1.0-22-amd64 ; then
-    dpkg -P linux-image-6.1.0-22-amd64
+  if test -d /lib/modules/6.1.0-27-amd64 ; then
+    dpkg -P linux-image-6.1.0-27-amd64
   fi
   # Set new hostname:
   #echo debian01 > /etc/hostname