Remi Lefevre wrote:

> I have a simple question : does the Adeos licence and integration with
> Linux allows to port a proprietary RTOS on top of Adeos without
> setting it in GPL (as a whole or as a skin) ?

Everything which fiddles with the internals of the Linux kernel has to 
be seen as extension of GPL software, thus falls under the GPL, too. For 
this reason, Adeos is also licenced under the GPL, and so are the kernel 
parts of Xenomai and its skins. Normally, an RTOS emulation skin 
consists of a kernel part and userspace libraries. If you follow this 
path for your proprietary RTOS at least the kernel part must be GPL 
compliant.

-- 

Sebastian

_______________________________________________
Adeos-main mailing list
[email protected]
https://mail.gna.org/listinfo/adeos-main

Reply via email to