diff --git a/.murdock b/.murdock
index 5a800f0c58..0336fb0b11 100755
--- a/.murdock
+++ b/.murdock
@@ -12,6 +12,7 @@ cc1352-launchpad
 cc2650-launchpad
 dwm1001
 hifive1
+mbed_lpc1768
 native
 nrf52840dk
 nucleo-f072rb
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
diff --git a/cpu/lpc1768/Makefile.features b/cpu/lpc1768/Makefile.features
index 6f3c2419e5..62c0d92de0 100644
--- a/cpu/lpc1768/Makefile.features
+++ b/cpu/lpc1768/Makefile.features
@@ -8,3 +8,9 @@ FEATURES_PROVIDED += periph_cpuid
 FEATURES_PROVIDED += periph_pm
 
 include $(RIOTCPU)/cortexm_common/Makefile.features
+
+# This configuration enables modules that are only available when using Kconfig
+# module modelling
+ifeq (1, $(TEST_KCONFIG))
+  KCONFIG_ADD_CONFIG += $(RIOTCPU)/lpc1768/lpc1768.config
+endif
diff --git a/cpu/lpc1768/lpc1768.config b/cpu/lpc1768/lpc1768.config
new file mode 100644
index 0000000000..811b1f3712
--- /dev/null
+++ b/cpu/lpc1768/lpc1768.config
@@ -0,0 +1 @@
+CONFIG_MODULE_PM_LAYERED=y