diff --git a/platforms/nuttx/src/px4/stm/stm32_common/io_pins/CMakeLists.txt b/platforms/nuttx/src/px4/stm/stm32_common/io_pins/CMakeLists.txt
index 6314afc0a5..fd2a22debb 100644
--- a/platforms/nuttx/src/px4/stm/stm32_common/io_pins/CMakeLists.txt
+++ b/platforms/nuttx/src/px4/stm/stm32_common/io_pins/CMakeLists.txt
@@ -38,3 +38,5 @@ px4_add_library(arch_io_pins
 	pwm_trigger.c
 )
 target_compile_options(arch_io_pins PRIVATE ${MAX_CUSTOM_OPT_LEVEL})
+
+target_link_libraries(arch_io_pins PRIVATE drivers_board) # timer_io_channels