diff --git a/libports/include/libc-genode/sys/user.h b/libports/include/libc-genode/sys/user.h
new file mode 100644
index 0000000000..03445b17d2
--- /dev/null
+++ b/libports/include/libc-genode/sys/user.h
@@ -0,0 +1,4 @@
+/*
+ * This file is just here to prevent a compiler warning about the missing include file.
+ * On Genode, we do not support calling syscalls directly via a libc mechanism.
+ */