Add min and max values to PICO_CONFIG comment

will-v-pi · will-v-pi · commit c3420d53bb8c · 2025-01-22T10:00:50.000Z
diff --git a/src/rp2040/pico_platform/include/pico/platform.h b/src/rp2040/pico_platform/include/pico/platform.h
@@ -66,7 +66,7 @@
 #define PICO_RP2040_B2_SUPPORTED 1
 #endif
 
-// PICO_CONFIG: PICO_VECTOR_TABLE_NUM_IRQS, Number of IRQ vectors to include in the vector table, type=int, default=NUM_IRQS, advanced=true, group=pico_platform
+// PICO_CONFIG: PICO_VECTOR_TABLE_NUM_IRQS, Number of IRQ vectors to include in the vector table, type=int, min=0, max=NUM_IRQS, default=NUM_IRQS, advanced=true, group=pico_platform
 #ifndef PICO_VECTOR_TABLE_NUM_IRQS
 #define PICO_VECTOR_TABLE_NUM_IRQS NUM_IRQS
 #endif
diff --git a/src/rp2350/pico_platform/include/pico/platform.h b/src/rp2350/pico_platform/include/pico/platform.h
@@ -54,7 +54,7 @@
 #define PICO_NO_RAM_VECTOR_TABLE 0
 #endif
 
-// PICO_CONFIG: PICO_VECTOR_TABLE_NUM_IRQS, Number of IRQ vectors to include in the vector table, type=int, default=NUM_IRQS, advanced=true, group=pico_platform
+// PICO_CONFIG: PICO_VECTOR_TABLE_NUM_IRQS, Number of IRQ vectors to include in the vector table, type=int, min=0, max=NUM_IRQS, default=NUM_IRQS, advanced=true, group=pico_platform
 #ifndef PICO_VECTOR_TABLE_NUM_IRQS
 #define PICO_VECTOR_TABLE_NUM_IRQS NUM_IRQS
 #endif
