As a special exception to the following license, the Xenomai project gives permission for additional uses of the header files contained in this directory. The exception is that, if you include these header files unmodified to produce application programs executing in user-space that use Xenomai services by normal Xenomai system calls, this does not by itself cause the resulting executable to be covered by the GNU General Public License. This is merely considered normal use of the Xenomai system, and does not fall under the heading of "derived work". This exception does not however invalidate any other reasons why the executable file might be covered by the GNU General Public License. In any case, this exception never applies when the application code is built as a static or dynamically loadable portion of the Linux kernel. This exception applies only to the code released by the Xenomai project under the name Xenomai and bearing this exception notice. If you copy code from other sources into a copy of Xenomai, the exception does not apply to the code that you add in this way.