+++ /dev/null
-Index: lib_ifxos-1.5.12/src/linux/ifxos_linux_select_drv.c
-===================================================================
---- lib_ifxos-1.5.12.orig/src/linux/ifxos_linux_select_drv.c 2010-04-24 11:33:55.000000000 +0200
-+++ lib_ifxos-1.5.12/src/linux/ifxos_linux_select_drv.c 2010-04-24 11:34:21.000000000 +0200
-@@ -33,6 +33,7 @@
- #include <linux/fs.h>
- #include <linux/wait.h>
- #include <linux/poll.h>
-+#include <linux/sched.h>
-
- #include "ifx_types.h"
- #include "ifxos_rt_if_check.h"