From 9b4bb4de4863f8d9a9d480502189456deccda969 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Fri, 6 Feb 2026 18:48:39 +0100
Subject: [PATCH] missing Dockerfile

---
 docker/debian-14-forky/Dockerfile | 32 +++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 docker/debian-14-forky/Dockerfile

diff --git a/docker/debian-14-forky/Dockerfile b/docker/debian-14-forky/Dockerfile
new file mode 100644
index 000000000..cda4babaa
--- /dev/null
+++ b/docker/debian-14-forky/Dockerfile
@@ -0,0 +1,32 @@
+FROM debian:forky-slim
+
+ENV LANG=C
+ENV DEBIAN_FRONTEND=noninteractive
+# qtbase5-dev skipped
+RUN apt-get update && \
+    apt-get upgrade -y && \
+    apt-get dist-upgrade -y && \
+    apt-get install -y --no-install-recommends git ca-certificates build-essential cmake pkg-config libreadline-dev gcc-arm-none-eabi libnewlib-dev libbz2-dev liblz4-dev libbluetooth-dev libpython3-dev libssl-dev libgd-dev sudo && \
+    apt-get clean
+
+RUN apt-get install -y opencl-dev && \
+    apt-get clean
+
+# uv
+COPY --from=ghcr.io/astral-sh/uv:latest /uv /uvx /bin/
+
+# Create rrg user
+RUN useradd -ms /bin/bash rrg
+RUN passwd -d rrg
+ARG UART_GID
+# dialout group may already exist on another numeric ID than on host
+RUN if [ -n "${UART_GID}" ]; then \
+    groupadd -g ${UART_GID} mydialout || true; \
+    usermod -aG ${UART_GID} rrg; \
+  fi
+RUN printf 'rrg ALL=(ALL) ALL\n' | tee -a /etc/sudoers
+
+USER rrg
+WORKDIR "/home/rrg"
+
+CMD ["/bin/bash"]