From cf48eefe4fc6c396549f2dc7fc6e6c68295c3169 Mon Sep 17 00:00:00 2001
From: Luca Comellini <luca.com@gmail.com>
Date: Mon, 8 Jul 2024 17:11:04 -0700
Subject: [PATCH] binutils-arm-none-eabi

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

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 \