Re: Dual-Licensing Linux Kernel with GPL V2 and GPL V3

Daniel Hazelton
2007-06-15T06:02:20Z

On Friday 15 June 2007 01:38:41 Alexandre Oliva wrote:
> On Jun 15, 2007, Bron Gondwana <brong@fastmail.fm> wrote:
> > #define Dell CFG_FAVOURITE_VENDOR
> >
> > A Dell desktop machine is a piece of hardware. The manufacturer has the
> > source code (hypothetically) to the BIOS. The BIOS is required for the
> > machine to boot and run Linux.
> >
> > Riddle me this (especially Alexandre, I'm just latching on to Ingo's
> > post because it has the right hook to grab) - are Dell required to give
> > out the source to the bios to enable people to have the same rights Dell
> > engineers do to modify the behaviour of the system?
>
> What is the license for the bios? Does it say anything about 'no
> further restrictions on the freedoms to modify and share the
> software'?
>
> Does it include any mechanisms to stop people from booting modified
> versions of the Linux that ships with the machine?

Does it matter? The hardware is running a GPL'd project. You have repeatedly
stated that if a system runs a GPL'd system then all rights to the system
that the manufacturer has *must* be passed on to the end-user. The
manufacturer can change the Bios. That's a right they have. Do they have to
pass that on to the end-user.

Before you answer - this question is *NOT* based on any interpretation or
reading of the GPLv3. What it is based on is statements you have repeatedly
made. So no claims this being already covered, and no claims that this isn't
a situation covered by the GPLv3.

DRH

--
Dialup is like pissing through a pipette. Slow and excruciatingly painful.