From e71da4dfedfded1553e3b9cb0fb178c69ea72d99 Mon Sep 17 00:00:00 2001
From: Ramon Roche <mrpollo@gmail.com>
Date: Thu, 9 Jan 2025 12:12:36 -0800
Subject: [PATCH] setup: set gcc 13.2

---
 Tools/setup/ubuntu.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh
index 434b2a81cd..4d2e1402b9 100755
--- a/Tools/setup/ubuntu.sh
+++ b/Tools/setup/ubuntu.sh
@@ -118,7 +118,7 @@ if [[ $INSTALL_NUTTX == "true" ]]; then
 		build-essential \
 		flex \
 		g++-multilib \
-		gcc-arm-none-eabi \
+		gcc-arm-none-eabi=15:13.2.rel1-2 \
 		gcc-multilib \
 		gdb-multiarch \
 		genromfs \