From 16bc2bc840a2e0e2866a33e998b234c6fbdacc8a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 23 Aug 2013 15:49:28 +0200
Subject: [PATCH] libc: Dummy for sys/user.h

---
 libports/include/libc-genode/sys/user.h | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 libports/include/libc-genode/sys/user.h

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.
+ */