diff --git a/ports/raspberrypi/boards/adafruit_feather_rp2350_adalogger/mpconfigboard.mk b/ports/raspberrypi/boards/adafruit_feather_rp2350_adalogger/mpconfigboard.mk
index 88cce7c4a4ce9..6ab89398de700 100644
--- a/ports/raspberrypi/boards/adafruit_feather_rp2350_adalogger/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/adafruit_feather_rp2350_adalogger/mpconfigboard.mk
@@ -8,3 +8,6 @@ CHIP_PACKAGE = A
 CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "GD25Q64C,W25Q64JVxQ"
+
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/adafruit_tinychad_rp2350/board.c b/ports/raspberrypi/boards/adafruit_tinychad_rp2350/board.c
index fddd2572c1fcd..cfa2308f7966c 100644
--- a/ports/raspberrypi/boards/adafruit_tinychad_rp2350/board.c
+++ b/ports/raspberrypi/boards/adafruit_tinychad_rp2350/board.c
@@ -10,7 +10,3 @@
 #include "common-hal/picodvi/__init__.h"
 
 // Use the MP_WEAK supervisor/shared/board.c versions of routines not defined here.
-
-void board_init(void) {
-    picodvi_autoconstruct();
-}
diff --git a/ports/raspberrypi/boards/adafruit_tinychad_rp2350/mpconfigboard.mk b/ports/raspberrypi/boards/adafruit_tinychad_rp2350/mpconfigboard.mk
index 8d2a9c2f5273f..36359c88fe46b 100644
--- a/ports/raspberrypi/boards/adafruit_tinychad_rp2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/adafruit_tinychad_rp2350/mpconfigboard.mk
@@ -8,3 +8,6 @@ CHIP_PACKAGE = A
 CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "GD25Q64C,W25Q64JVxQ"
+
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/challenger_rp2350_wifi6_ble5/mpconfigboard.mk b/ports/raspberrypi/boards/challenger_rp2350_wifi6_ble5/mpconfigboard.mk
index d4f2cdb90d0f8..7663bcfb19d9b 100644
--- a/ports/raspberrypi/boards/challenger_rp2350_wifi6_ble5/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/challenger_rp2350_wifi6_ble5/mpconfigboard.mk
@@ -12,5 +12,9 @@ EXTERNAL_FLASH_DEVICES = "W25Q64JVxQ"
 CIRCUITPY__EVE = 1
 CIRCUITPY_ALARM = 0
 
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
+
+
 FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_HID
 FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_Register
diff --git a/ports/raspberrypi/boards/cytron_edu_v2_pico_2w/mpconfigboard.mk b/ports/raspberrypi/boards/cytron_edu_v2_pico_2w/mpconfigboard.mk
index ac0bb6d6f2736..75d49696a13dd 100644
--- a/ports/raspberrypi/boards/cytron_edu_v2_pico_2w/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/cytron_edu_v2_pico_2w/mpconfigboard.mk
@@ -21,6 +21,9 @@ CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
 
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
+
 CFLAGS += \
     -DCYW43_PIN_WL_DYNAMIC=0 \
 	-DCYW43_DEFAULT_PIN_WL_HOST_WAKE=24 \
diff --git a/ports/raspberrypi/boards/cytron_motion_2350_pro/mpconfigboard.mk b/ports/raspberrypi/boards/cytron_motion_2350_pro/mpconfigboard.mk
index 0ac939ce6a265..9a766f42da79f 100644
--- a/ports/raspberrypi/boards/cytron_motion_2350_pro/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/cytron_motion_2350_pro/mpconfigboard.mk
@@ -11,6 +11,10 @@ EXTERNAL_FLASH_DEVICES = "W25Q16JVxQ"
 
 CIRCUITPY__EVE = 1
 
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
+
+
 # Include these Python libraries in firmware.
 FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_NeoPixel
 FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_Motor
diff --git a/ports/raspberrypi/boards/datanoise_picoadk_v2/mpconfigboard.mk b/ports/raspberrypi/boards/datanoise_picoadk_v2/mpconfigboard.mk
index 1b5c6c5d548cc..42d747537af8e 100644
--- a/ports/raspberrypi/boards/datanoise_picoadk_v2/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/datanoise_picoadk_v2/mpconfigboard.mk
@@ -9,5 +9,8 @@ CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "GD25Q32C,W25Q32JVxQ"
 
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
+
 # Include these Python libraries in firmware.
 FROZEN_MPY_DIRS += $(TOP)/frozen/Adafruit_CircuitPython_SD
diff --git a/ports/raspberrypi/boards/pimoroni_badger2350/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_badger2350/mpconfigboard.mk
index 0157ccf149960..58f88af2518b2 100644
--- a/ports/raspberrypi/boards/pimoroni_badger2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_badger2350/mpconfigboard.mk
@@ -19,6 +19,9 @@ CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
 
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
+
 # PIO clock divider set to 2 (default), consider changing if TM2 gSPI
 # becomes unreliable.
 CFLAGS += \
diff --git a/ports/raspberrypi/boards/pimoroni_explorer2350/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_explorer2350/mpconfigboard.mk
index 4e4882910c8ab..4409dbf57df27 100644
--- a/ports/raspberrypi/boards/pimoroni_explorer2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_explorer2350/mpconfigboard.mk
@@ -8,3 +8,6 @@ CHIP_PACKAGE = B
 CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "W25Q128JVxQ"
+
+# GPIO12-19 needed for picodvi, but several are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/pimoroni_plasma2350/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_plasma2350/mpconfigboard.mk
index 56fd7b641de3a..52dcd3fbe718c 100644
--- a/ports/raspberrypi/boards/pimoroni_plasma2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_plasma2350/mpconfigboard.mk
@@ -10,3 +10,6 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"
 
 CIRCUITPY__EVE = 1
+
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/pimoroni_plasma2350w/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_plasma2350w/mpconfigboard.mk
index 8563f0d0034c3..cab35965a0f37 100644
--- a/ports/raspberrypi/boards/pimoroni_plasma2350w/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_plasma2350w/mpconfigboard.mk
@@ -21,6 +21,9 @@ CIRCUITPY_WIFI = 1
 CIRCUITPY_PICODVI = 0
 CIRCUITPY_USB_HOST = 0
 
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
+
 CFLAGS += \
     -DCYW43_PIN_WL_DYNAMIC=0 \
 	-DCYW43_DEFAULT_PIN_WL_HOST_WAKE=24 \
diff --git a/ports/raspberrypi/boards/pimoroni_tiny2350/mpconfigboard.mk b/ports/raspberrypi/boards/pimoroni_tiny2350/mpconfigboard.mk
index 9ffdf263003f7..b94022c1f6d66 100644
--- a/ports/raspberrypi/boards/pimoroni_tiny2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/pimoroni_tiny2350/mpconfigboard.mk
@@ -10,3 +10,6 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"
 
 CIRCUITPY__EVE = 1
+
+# GPIO12-19 needed for picodvi, but several are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/seeeduino_xiao_rp2350/mpconfigboard.mk b/ports/raspberrypi/boards/seeeduino_xiao_rp2350/mpconfigboard.mk
index d5f866bd89e92..f51d52712150f 100644
--- a/ports/raspberrypi/boards/seeeduino_xiao_rp2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/seeeduino_xiao_rp2350/mpconfigboard.mk
@@ -8,3 +8,6 @@ CHIP_PACKAGE = A
 CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "P25Q16H"
+
+# GPIO12-19 needed for picodvi, but several are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/sparkfun_pro_micro_rp2350/mpconfigboard.mk b/ports/raspberrypi/boards/sparkfun_pro_micro_rp2350/mpconfigboard.mk
index e5d6e1b8ff8f6..53cdf72963fee 100644
--- a/ports/raspberrypi/boards/sparkfun_pro_micro_rp2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/sparkfun_pro_micro_rp2350/mpconfigboard.mk
@@ -8,3 +8,6 @@ CHIP_PACKAGE = A
 CHIP_FAMILY = rp2
 
 EXTERNAL_FLASH_DEVICES = "W25Q128JVxQ"
+
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/sparkfun_thing_plus_rp2350/mpconfigboard.mk b/ports/raspberrypi/boards/sparkfun_thing_plus_rp2350/mpconfigboard.mk
index 6e81a229961da..81d7f66047338 100644
--- a/ports/raspberrypi/boards/sparkfun_thing_plus_rp2350/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/sparkfun_thing_plus_rp2350/mpconfigboard.mk
@@ -23,6 +23,8 @@ CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
 
+# GPIO12-19 needed for picodvi, but GPIO14 is used for a NeoPixel.
+CIRCUITPY_PICODVI = 0
 
 CFLAGS += \
     -DCYW43_PIN_WL_DYNAMIC=0 \
diff --git a/ports/raspberrypi/boards/studiolab_picoexpander/mpconfigboard.mk b/ports/raspberrypi/boards/studiolab_picoexpander/mpconfigboard.mk
index eabc2c41e0722..7214b36da28ea 100644
--- a/ports/raspberrypi/boards/studiolab_picoexpander/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/studiolab_picoexpander/mpconfigboard.mk
@@ -19,6 +19,9 @@ CIRCUITPY_MDNS = 1
 CIRCUITPY_SOCKETPOOL = 1
 CIRCUITPY_WIFI = 1
 
+# GPIO12-19 needed for picodvi, but GPIO15 is used for a button.
+CIRCUITPY_PICODVI = 0
+
 CFLAGS += \
     -DCYW43_PIN_WL_DYNAMIC=0 \
 	-DCYW43_DEFAULT_PIN_WL_HOST_WAKE=24 \
diff --git a/ports/raspberrypi/boards/tinycircuits_thumby_color/mpconfigboard.mk b/ports/raspberrypi/boards/tinycircuits_thumby_color/mpconfigboard.mk
index 828d4a638d5ab..6159a39ba55e9 100644
--- a/ports/raspberrypi/boards/tinycircuits_thumby_color/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/tinycircuits_thumby_color/mpconfigboard.mk
@@ -13,3 +13,6 @@ CIRCUITPY_STAGE = 1
 CIRCUITPY_AUDIOIO = 1
 CIRCUITPY_AUDIOPWMIO = 1
 CIRCUITPY_KEYPAD = 1
+
+# GPIO12-19 needed for picodvi, but many are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/waveshare_rp2350_geek/mpconfigboard.mk b/ports/raspberrypi/boards/waveshare_rp2350_geek/mpconfigboard.mk
index 38b69c182c778..e1d89c1fbca92 100644
--- a/ports/raspberrypi/boards/waveshare_rp2350_geek/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/waveshare_rp2350_geek/mpconfigboard.mk
@@ -10,3 +10,6 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q128JVxQ"
 
 CIRCUITPY__EVE = 1
+
+# GPIO12-19 needed for picodvi, but many of the pins are used for other purposes.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/waveshare_rp2350_lcd_1_28/mpconfigboard.mk b/ports/raspberrypi/boards/waveshare_rp2350_lcd_1_28/mpconfigboard.mk
index 8f703c5a93254..f04b91f8b0d66 100644
--- a/ports/raspberrypi/boards/waveshare_rp2350_lcd_1_28/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/waveshare_rp2350_lcd_1_28/mpconfigboard.mk
@@ -11,6 +11,9 @@ EXTERNAL_FLASH_DEVICES = "P25Q32SH"
 
 CIRCUITPY__EVE = 1
 
+# GPIO12-19 needed for picodvi, but GPIO12 is used for display reset.
+CIRCUITPY_PICODVI = 0
+
 # TODO: Add custom QMI8658 driver
 # FROZEN_MPY_DIRS += $(TOP)/frozen/circuitpython_qmi8658
 
diff --git a/ports/raspberrypi/boards/waveshare_rp2350_one/mpconfigboard.mk b/ports/raspberrypi/boards/waveshare_rp2350_one/mpconfigboard.mk
index 75398b3269b42..bde7153c0290d 100644
--- a/ports/raspberrypi/boards/waveshare_rp2350_one/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/waveshare_rp2350_one/mpconfigboard.mk
@@ -10,3 +10,6 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"
 
 CIRCUITPY__EVE = 1
+
+# GPIO12-19 needed for picodvi, but GPIO16 is not broken out and is used for NeoPixel.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/waveshare_rp2350_tiny/mpconfigboard.mk b/ports/raspberrypi/boards/waveshare_rp2350_tiny/mpconfigboard.mk
index 464c7aff28386..79fafbacf5c3d 100644
--- a/ports/raspberrypi/boards/waveshare_rp2350_tiny/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/waveshare_rp2350_tiny/mpconfigboard.mk
@@ -10,3 +10,6 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "P25Q32SH"
 
 CIRCUITPY__EVE = 1
+
+# GPIO12-19 needed for picodvi, but GPIO16-19 are not available.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/waveshare_rp2350_touch_lcd_1_28/mpconfigboard.mk b/ports/raspberrypi/boards/waveshare_rp2350_touch_lcd_1_28/mpconfigboard.mk
index 11e927c748517..0ec6c4ec008b6 100644
--- a/ports/raspberrypi/boards/waveshare_rp2350_touch_lcd_1_28/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/waveshare_rp2350_touch_lcd_1_28/mpconfigboard.mk
@@ -11,6 +11,9 @@ EXTERNAL_FLASH_DEVICES = "W25Q128JVxQ"
 
 CIRCUITPY__EVE = 1
 
+# GPIO12-19 needed for picodvi, but GPIO12 is used for display reset.
+CIRCUITPY_PICODVI = 0
+
 # TODO: Add custom QMI8658 driver
 # FROZEN_MPY_DIRS += $(TOP)/frozen/circuitpython_qmi8658
 
diff --git a/ports/raspberrypi/boards/waveshare_rp2350_zero/mpconfigboard.mk b/ports/raspberrypi/boards/waveshare_rp2350_zero/mpconfigboard.mk
index 444850776a606..7f0a3c71cbbac 100644
--- a/ports/raspberrypi/boards/waveshare_rp2350_zero/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/waveshare_rp2350_zero/mpconfigboard.mk
@@ -10,3 +10,6 @@ CHIP_FAMILY = rp2
 EXTERNAL_FLASH_DEVICES = "P25Q32SH"
 
 CIRCUITPY__EVE = 1
+
+# GPIO12-19 needed for picodvi, but GPIO16 is not broken out and is used for NeoPixel.
+CIRCUITPY_PICODVI = 0
diff --git a/ports/raspberrypi/boards/wiznet_w5100s_evb_pico2/mpconfigboard.mk b/ports/raspberrypi/boards/wiznet_w5100s_evb_pico2/mpconfigboard.mk
index 3e3542120e362..d47571e7950cf 100644
--- a/ports/raspberrypi/boards/wiznet_w5100s_evb_pico2/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/wiznet_w5100s_evb_pico2/mpconfigboard.mk
@@ -12,5 +12,8 @@ EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"
 CIRCUITPY__EVE = 1
 CIRCUITPY_SSL = 1
 
+# GPIO12-19 needed for picodvi, but GPIO16 is used for Wiznet.
+CIRCUITPY_PICODVI = 0
+
 # The default is -O3. Change to -O2 because the build was overflowing.
 OPTIMIZATION_FLAGS = -O2
diff --git a/ports/raspberrypi/boards/wiznet_w5500_evb_pico2/mpconfigboard.mk b/ports/raspberrypi/boards/wiznet_w5500_evb_pico2/mpconfigboard.mk
index c10c7aa7eb892..68b621fdf970c 100644
--- a/ports/raspberrypi/boards/wiznet_w5500_evb_pico2/mpconfigboard.mk
+++ b/ports/raspberrypi/boards/wiznet_w5500_evb_pico2/mpconfigboard.mk
@@ -12,5 +12,8 @@ EXTERNAL_FLASH_DEVICES = "W25Q32JVxQ"
 CIRCUITPY__EVE = 1
 CIRCUITPY_SSL = 1
 
+# GPIO12-19 needed for picodvi, but GPIO16 is used for Wiznet.
+CIRCUITPY_PICODVI = 0
+
 # The default is -O3. Change to -O2 because the build was overflowing.
 OPTIMIZATION_FLAGS = -O2