From 530cdce024bc341d9660a2004fbf634aab5e1f4a Mon Sep 17 00:00:00 2001
From: Sam Ledden <44735694+samledden04@users.noreply.github.com>
Date: Mon, 24 Nov 2025 16:06:45 -0500
Subject: [PATCH] Update port.c

---
 portable/ThirdParty/GCC/RP2040/port.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/portable/ThirdParty/GCC/RP2040/port.c b/portable/ThirdParty/GCC/RP2040/port.c
index bc77140e6..d3bf0175b 100644
--- a/portable/ThirdParty/GCC/RP2040/port.c
+++ b/portable/ThirdParty/GCC/RP2040/port.c
@@ -40,6 +40,11 @@
 #include "hardware/exception.h"
 #include "hardware/irq.h"
 
+#ifndef SIO_IRQ_PROC0
+// Quick fix
+#define SIO_IRQ_PROC0 15
+#endif
+
 #if ( portMAX_CORE_COUNT != 2 )
     #error Max core count should be 2
 #endif
@@ -908,3 +913,4 @@ __attribute__( ( weak ) ) void vPortSetupTimerInterrupt( void )
         }
     }
 #endif /* configSUPPORT_PICO_TIME_INTEROP */
+