diff --git a/boards/mbed_lpc1768/Kconfig b/boards/mbed_lpc1768/Kconfig
index d6a1cfb223..a17135ef2e 100644
--- a/boards/mbed_lpc1768/Kconfig
+++ b/boards/mbed_lpc1768/Kconfig
@@ -15,3 +15,5 @@ config BOARD_MBED_LPC1768
     select HAS_PERIPH_GPIO_IRQ
     select HAS_PERIPH_TIMER
     select HAS_PERIPH_UART
+
+    select HAVE_SAUL_GPIO
diff --git a/boards/seeeduino_arch-pro/Kconfig b/boards/seeeduino_arch-pro/Kconfig
index 88ab4d0d3d..1e2dcb2c6b 100644
--- a/boards/seeeduino_arch-pro/Kconfig
+++ b/boards/seeeduino_arch-pro/Kconfig
@@ -15,3 +15,5 @@ config BOARD_SEEEDUINO_ARCH_PRO
     select HAS_PERIPH_GPIO_IRQ
     select HAS_PERIPH_TIMER
     select HAS_PERIPH_UART
+
+    select HAVE_SAUL_GPIO