diff --git a/ports/stm/common-hal/pulseio/PWMOut.c b/ports/stm/common-hal/pulseio/PWMOut.c
index d62ee2a380..304a1539c0 100644
--- a/ports/stm/common-hal/pulseio/PWMOut.c
+++ b/ports/stm/common-hal/pulseio/PWMOut.c
@@ -32,7 +32,7 @@
 #include "supervisor/shared/translate.h"
 
 #include "shared-bindings/microcontroller/__init__.h"
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 #include "common-hal/microcontroller/Pin.h"
 
 #define ALL_CLOCKS 0xFFFF
diff --git a/ports/stm/common-hal/pulseio/PWMOut.h b/ports/stm/common-hal/pulseio/PWMOut.h
index 8519735c62..57ab143b9a 100644
--- a/ports/stm/common-hal/pulseio/PWMOut.h
+++ b/ports/stm/common-hal/pulseio/PWMOut.h
@@ -29,7 +29,7 @@
 
 #include "common-hal/microcontroller/Pin.h"
 
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 #include "peripherals/periph.h"
 
 #include "py/obj.h"
diff --git a/ports/stm/common-hal/pulseio/PulseIn.c b/ports/stm/common-hal/pulseio/PulseIn.c
index 8428a22789..721bb02328 100644
--- a/ports/stm/common-hal/pulseio/PulseIn.c
+++ b/ports/stm/common-hal/pulseio/PulseIn.c
@@ -34,7 +34,7 @@
 #include "shared-bindings/pulseio/PulseIn.h"
 #include "tick.h"
 
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 
 #define STM32_GPIO_PORT_SIZE 16
 
diff --git a/ports/stm/common-hal/pulseio/PulseOut.c b/ports/stm/common-hal/pulseio/PulseOut.c
index d82525ea16..232516f19c 100644
--- a/ports/stm/common-hal/pulseio/PulseOut.c
+++ b/ports/stm/common-hal/pulseio/PulseOut.c
@@ -35,7 +35,7 @@
 #include "shared-bindings/pulseio/PWMOut.h"
 #include "supervisor/shared/translate.h"
 
-#include "stm32f4xx_hal.h"
+#include STM32_HAL_H
 #include "common-hal/microcontroller/Pin.h"
 #include "tick.h"
 
diff --git a/ports/stm/mpconfigport.mk b/ports/stm/mpconfigport.mk
index 8305c0d0c7..5ef1e8e7b7 100644
--- a/ports/stm/mpconfigport.mk
+++ b/ports/stm/mpconfigport.mk
@@ -40,7 +40,7 @@ ifeq ($(MCU_SERIES),F7)
 	# Not yet implemented common-hal modules:
 	CIRCUITPY_ANALOGIO = 0
 	CIRCUITPY_NEOPIXEL_WRITE = 0
-	CIRCUITPY_PULSEIO = 0
+	CIRCUITPY_PULSEIO = 1
 	CIRCUITPY_OS = 1
 	CIRCUITPY_NVM = 0
 	CIRCUITPY_AUDIOBUSIO = 0