> Is TimeSys (http://www.timesys.com) violating the GPL by extending
> Linux with new features (high resolution clocks and timers, protection
> against priority inversion) by adding a proprietary loadable kernel module?
If their module is a derivative of GPL code, then yes.
If the total work consisting of GPL code and their
proprietary module is a derivative of GPL code, then
probably.
regards,
Rik
-- Bravely reimplemented by the knights who say "NIH". http://www.surriel.com/ http://guru.conectiva.com/ Current spamtrap: <a href=mailto:"october@surriel.com">october@surriel.com</a> - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/