Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 21 Jun 2001 11:17:41 -0500
From:      Joel Sherrill <joel.sherrill@OARcorp.com>
To:        Dag-Erling Smorgrav <des@ofug.org>
Cc:        Wes Peters <wes@softweyr.com>, James Housley <jim@thehousleys.net>, hackers@FreeBSD.ORG, questions@FreeBSD.ORG
Subject:   Re: real time
Message-ID:  <3B321E25.7F149BC8@OARcorp.com>
References:  <E14vlpX-0008Nr-00@bsdconspiracy.net> <3AF30CF8.FC28EDA1@thehousleys.net> <3AF5D1BF.93588882@softweyr.com> <3B31F2AD.E2850728@OARcorp.com> <xzp66dpyfyr.fsf@flood.ping.uio.no>

next in thread | previous in thread | raw e-mail | index | archive | help


Dag-Erling Smorgrav wrote:
> 
> Joel Sherrill <joel.sherrill@OARcorp.com> writes:
> > RTEMS is not pure-GPL -- it does allow binary redistribution.
> 
> So does "pure GPL", as long as you make the sources available.  If you
> mean that you can redistribute (potentially modified) RTEMS binaries
> without providing the source code, then you've effectively got a
> {BSD,MIT,Apache} license (except for a few details about attributions
> and the naming of derivative software), and you might as well make the
> change in name as well as in function.

Let me just quote the exception.  We are focused on the impact of
the RTEMS license on the end user embedded application.  

"As a special exception, including RTEMS header files in a file,
instantiating RTEMS generics or templates, or linking other files
with RTEMS objects to produce an executable application, does not
by itself cause the resulting executable application to be covered
by the GNU General Public License. This exception does not
however invalidate any other reasons why the executable file might be
covered by the GNU Public License."

This exception is similar to that used by libgcc and gnat.

> DES
> --
> Dag-Erling Smorgrav - des@ofug.org

-- 
Joel Sherrill, Ph.D.             Director of Research & Development
joel@OARcorp.com                 On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
Support Available                (256) 722-9985

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-questions" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3B321E25.7F149BC8>