Does the driver work under XENOMAI

We neither have any experience with Xenomai nor did we test the driver with XENOMAI.

Therefore we cannot officially support it.

netX based Virtual Ethernet Interface