--- src/rx/LINUX/rx_knet.c.orig 2007-10-10 19:38:50.272683904 +0200 +++ src/rx/LINUX/rx_knet.c 2007-10-10 19:39:21.542465868 +0200 @@ -26,6 +26,10 @@ #endif #include +#if defined(CONFIG_VSERVER) +#include +#endif /* CONFIG_VSERVER */ + /* rxk_NewSocket * open and bind RX socket */