diff --git a/src/drivers/px4io/Kconfig b/src/drivers/px4io/Kconfig
index 16b1149485..052f088d70 100644
--- a/src/drivers/px4io/Kconfig
+++ b/src/drivers/px4io/Kconfig
@@ -1,6 +1,6 @@
 menuconfig DRIVERS_PX4IO
 	bool "px4io"
 	default n
-	depends on platform_nuttx
+	depends on PLATFORM_NUTTX
 	---help---
 		Enable support for px4io