This has evidently been resolved with a minor change in the RTLinux license:

http://slashdot.org/yro/01/09/17/2056231.shtml

Alan

At 07:22 PM 9/17/2001 -0700, you wrote:
>Monday September 17 12:15 PM EDT
>
>Free Software Foundation targets RTLinux for GPL violations
>
>By Peter Galli, eWEEK
>
>The Free Software Foundation on Friday took aim at RTLinux and
>FSMLabs, the company that distributes it, claiming that FSMLabs has
>used a patent license to violate the GNU General Public License.
>
>http://dailynews.yahoo.com/h/zd/20010917/tc/free_software_foundation_target
s_rtlinux_for_gpl_violations_1.html
>
>or:
>
>http://makeashorterlink.com/?C49812E0
>
>________________________________________________
>See http://PLUG.phoenix.az.us/navigator-mail.shtml if your mail doesn't
post to the list quickly and you use Netscape to write mail.
>
>PLUG-discuss mailing list  -  PLUG-discuss@lists.PLUG.phoenix.az.us
>http://lists.PLUG.phoenix.az.us/mailman/listinfo/plug-discuss
>
>
>