From 1fa84f203de3eea3be8160780ab7b4a8501c7eb3 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Mon, 9 Sep 2024 23:43:01 +0200
Subject: [PATCH] fix hf_colin compilation error

---
 armsrc/frozen.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/armsrc/frozen.c b/armsrc/frozen.c
index a77d7dd9d..43e5852e4 100644
--- a/armsrc/frozen.c
+++ b/armsrc/frozen.c
@@ -57,6 +57,10 @@ typedef unsigned _int64 uint64_t;
 #ifndef __STDC_FORMAT_MACROS
 #define __STDC_FORMAT_MACROS
 #endif
+// problem specific to arm-none-gcc provided by Debian:
+// https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=953844
+// => include <sys/types.h> before <inttypes.h>
+#include <sys/types.h>
 #include <inttypes.h>
 #endif /* _WIN32 */