diff --git a/sw/airborne/arch/chibios/mcu_periph/pwm_input_arch.c b/sw/airborne/arch/chibios/mcu_periph/pwm_input_arch.c
index cb9bbd970f..62164dda78 100644
--- a/sw/airborne/arch/chibios/mcu_periph/pwm_input_arch.c
+++ b/sw/airborne/arch/chibios/mcu_periph/pwm_input_arch.c
@@ -27,7 +27,8 @@
  */
 #include "mcu_periph/pwm_input_arch.h"
 #include "mcu_periph/gpio.h"
-#include "hal.h"
+#include <hal.h>
+#include BOARD_CONFIG
 
 #define ONE_MHZ_CLK 1000000