diff --git a/src/os/src/detail/osSemphone.c b/src/os/src/detail/osSemphone.c
index ec02c65fd6..2bf2f24487 100644
--- a/src/os/src/detail/osSemphone.c
+++ b/src/os/src/detail/osSemphone.c
@@ -13,8 +13,6 @@
  * along with this program. If not, see <http://www.gnu.org/licenses/>.
  */
 
-#include <sys/syscall.h>
-
 #define _DEFAULT_SOURCE
 #include "os.h"