diff --git a/platforms/common/include/px4_platform_common/px4_config.h b/platforms/common/include/px4_platform_common/px4_config.h
index 64ead137a7..aac0a9be52 100644
--- a/platforms/common/include/px4_platform_common/px4_config.h
+++ b/platforms/common/include/px4_platform_common/px4_config.h
@@ -47,5 +47,8 @@
 #include <board_config.h>
 
 #elif defined (__PX4_POSIX)
-# include <board_config.h>
+
+#include "micro_hal.h"
+#include <board_config.h>
+
 #endif
diff --git a/platforms/posix/src/px4/common/include/px4_platform/micro_hal.h b/platforms/posix/src/px4/common/include/px4_platform/micro_hal.h
index a629cda2f9..8c86ca6119 100644
--- a/platforms/posix/src/px4/common/include/px4_platform/micro_hal.h
+++ b/platforms/posix/src/px4/common/include/px4_platform/micro_hal.h
@@ -32,5 +32,4 @@
  ****************************************************************************/
 #pragma once
 
-
-
+#define px4_arch_gpiosetevent(pinset,r,f,e,fp,a) -1