build: Add korg v13.1.0 image

Gcc v13.1.0 cross-toolchain is available from kernel.org. Add support
for building the kernel with it. We have to use ubuntu 23.04 due to
library dependencies from the build.

Ubuntu 23.04 also now adds a default user 'ubuntu' with uid 1000. That
uid is commonly used in user accounts on most distros, so it causes an
issue with the subsequent useradd command in the Dockerfile. Delete the
'ubuntu' user as a workaround for the same.

Author: rnav

README.md

@@ -51,6 +51,7 @@ Different toolchains
 
 There are images for various toolchains, they are encoded in the distro name/version.
 
+ - `korg@13.1.0`: kernel.org gcc 13.1.0, binutils 2.40
  - `korg@12.2.0`: kernel.org gcc 12.2.0, binutils 2.39
  - `korg@12.1.0`: kernel.org gcc 12.1.0, binutils 2.38
  - `korg@11.3.0`: kernel.org gcc 11.3.0, binutils 2.38

build/Makefile

@@ -17,7 +17,7 @@ endif
 UBUNTU_DISTROS += ubuntu@20.04 ubuntu@18.04 ubuntu@16.04 ubuntu
 
 FEDORA_DISTROS := fedora@${FEDORA_LATEST} fedora@37 fedora@36 fedora@35 fedora@34 fedora@33 fedora@31 fedora
-KORG_DISTROS := korg@12.2.0 korg@12.1.0 korg@11.3.0 korg@11.1.0 korg@10.3.0 korg@9.4.0 korg@9.3.0 korg@8.5.0 korg@8.1.0 korg@5.5.0
+KORG_DISTROS := korg@13.1.0 korg@12.2.0 korg@12.1.0 korg@11.3.0 korg@11.1.0 korg@10.3.0 korg@9.4.0 korg@9.3.0 korg@8.5.0 korg@8.1.0 korg@5.5.0
 ALL_DISTROS := ${UBUNTU_DISTROS} ${KORG_DISTROS} ${FEDORA_DISTROS}
 DOCS_DISTRO := docs@${UBUNTU_LATEST}
 X86_DISTROS := ubuntu@${UBUNTU_LATEST} ubuntu

build/korg/Dockerfile

@@ -54,6 +54,7 @@ RUN /tmp/make-links.sh ${compiler_version} && rm /tmp/make-links.sh
 ARG uid
 ARG gid
 
+RUN userdel -r ubuntu || true
 RUN groupadd --gid $gid linuxppc
 RUN useradd --uid $uid --gid $gid linuxppc
 USER linuxppc

build/scripts/image.sh

@@ -123,6 +123,8 @@ elif [[ "$distro" == "korg" ]]; then
     # Use an older distro for the 5.x toolchains.
     if [[ "$version" == 5.* ]]; then
 	from="docker.io/ubuntu:16.04"
+    elif [[ "$version" == 13.* ]]; then
+	from="docker.io/ubuntu:23.04"
     else
 	from="docker.io/ubuntu:20.04"
     fi