# Debian bookworm is debian12.
FROM debian:bookworm as setup

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update \
  && apt-get install -y gcc-arm-none-eabi cmake
RUN mkdir /build

FROM scratch
COPY --from=setup / /
WORKDIR /build