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?
-- Martijn Sipkema
PS. I'm not subscribed and would appreciate being CC'ed in replies.