From fa9e2b9ea9713347ec14f7d97856ac8969cc876e Mon Sep 17 00:00:00 2001
From: Richard Hulme <r_hulme@yahoo.com>
Date: Thu, 4 Dec 2025 16:19:23 +0100
Subject: [PATCH] Add definition of PICO_NUM_VTABLE_IRQS to host build

Fixes #2748
---
 src/host/pico_platform/include/pico/platform.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/host/pico_platform/include/pico/platform.h b/src/host/pico_platform/include/pico/platform.h
index 0338354e5..a0608423c 100644
--- a/src/host/pico_platform/include/pico/platform.h
+++ b/src/host/pico_platform/include/pico/platform.h
@@ -159,6 +159,11 @@ static inline uint __get_current_exception(void) {
 
 void busy_wait_at_least_cycles(uint32_t minimum_cycles);
 
+// PICO_CONFIG: PICO_NUM_VTABLE_IRQS, Number of IRQ handlers in the vector table - can be lowered to save space if you aren't using some higher IRQs, type=int, default=NUM_IRQS, group=hardware_irq
+#ifndef PICO_NUM_VTABLE_IRQS
+#define PICO_NUM_VTABLE_IRQS NUM_IRQS
+#endif
+
 #ifdef __cplusplus
 }
 #endif