[xen staging] CI: Introduce debian:11/12-riscv64 containers

[patchbot@xxxxxxx]

commit a507bd7d1febaafc0965489c42ec7507a51b5663
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Tue Jul 9 15:10:07 2024 +0100
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Fri Jul 12 15:40:03 2024 +0100

    CI: Introduce debian:11/12-riscv64 containers
    
    For starters, they're slightly smaller:
    
      $ docker image list <snip>
      registry.gitlab.com/xen-project/xen/debian      12-riscv64         772MB
      registry.gitlab.com/xen-project/xen/debian      11-riscv64         422MB
      registry.gitlab.com/xen-project/xen/archlinux   current-riscv64    2.32GB
    
    They also not rolling distros, so will be more predicatable testing for the
    stable trees in the future.
    
    Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Reviewed-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
    Reviewed-by: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
    Release-Acked-By: Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>
---
 automation/build/debian/11-riscv64.dockerfile | 33 ++++++++++++++++++++++++
 automation/build/debian/12-riscv64.dockerfile | 36 +++++++++++++++++++++++++++
 2 files changed, 69 insertions(+)

diff --git a/automation/build/debian/11-riscv64.dockerfile 
b/automation/build/debian/11-riscv64.dockerfile
new file mode 100644
index 0000000000..1c99bc89ea
--- /dev/null
+++ b/automation/build/debian/11-riscv64.dockerfile
@@ -0,0 +1,33 @@
+# syntax=docker/dockerfile:1
+FROM --platform=linux/amd64 debian:bullseye-slim
+LABEL maintainer.name="The Xen Project"
+LABEL maintainer.email="xen-devel@xxxxxxxxxxxxxxxxxxxx"
+
+ENV DEBIAN_FRONTEND=noninteractive
+ENV CROSS_COMPILE=riscv64-linux-gnu-
+ENV XEN_TARGET_ARCH=riscv64
+
+RUN <<EOF
+#!/bin/bash
+    set -e
+
+    useradd --create-home user
+
+    apt-get -y update
+
+    DEPS=(
+        # Xen
+        bison
+        build-essential
+        checkpolicy
+        flex
+        gcc-riscv64-linux-gnu
+        python3-minimal
+    )
+
+    apt-get -y --no-install-recommends install "${DEPS[@]}"
+    rm -rf /var/lib/apt/lists/*
+EOF
+
+USER user
+WORKDIR /build
diff --git a/automation/build/debian/12-riscv64.dockerfile 
b/automation/build/debian/12-riscv64.dockerfile
new file mode 100644
index 0000000000..03fd4b0305
--- /dev/null
+++ b/automation/build/debian/12-riscv64.dockerfile
@@ -0,0 +1,36 @@
+# syntax=docker/dockerfile:1
+FROM --platform=linux/amd64 debian:bookworm-slim
+LABEL maintainer.name="The Xen Project"
+LABEL maintainer.email="xen-devel@xxxxxxxxxxxxxxxxxxxx"
+
+ENV DEBIAN_FRONTEND=noninteractive
+ENV CROSS_COMPILE=riscv64-linux-gnu-
+ENV XEN_TARGET_ARCH=riscv64
+
+RUN <<EOF
+#!/bin/bash
+    set -e
+
+    useradd --create-home user
+
+    apt-get -y update
+
+    DEPS=(
+        # Xen
+        bison
+        build-essential
+        checkpolicy
+        flex
+        gcc-riscv64-linux-gnu
+        python3-minimal
+
+        # Qemu for test phase
+        qemu-system-riscv64
+    )
+
+    apt-get -y --no-install-recommends install "${DEPS[@]}"
+    rm -rf /var/lib/apt/lists/*
+EOF
+
+USER user
+WORKDIR /build
--
generated by git-patchbot for /home/xen/git/xen.git#staging