diff --git a/Dockerfile b/Dockerfile index c8ab7407..92550f67 100644 --- a/Dockerfile +++ b/Dockerfile @@ -8,6 +8,7 @@ FROM --platform=$BUILDPLATFORM debian:12 AS build-base-debian RUN apt-get update \ && apt-get install --no-install-recommends --no-install-suggests -y \ build-essential \ + binutils-arm-none-eabi \ ca-certificates \ clang-16 \ git \