Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757247AbXFSWqm (ORCPT ); Tue, 19 Jun 2007 18:46:42 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1753730AbXFSWqf (ORCPT ); Tue, 19 Jun 2007 18:46:35 -0400 Received: from mx1.redhat.com ([66.187.233.31]:44958 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752698AbXFSWqe (ORCPT ); Tue, 19 Jun 2007 18:46:34 -0400 To: david@lang.hm Cc: Daniel Hazelton , Linus Torvalds , Al Viro , Bernd Schmidt , Alan Cox , Ingo Molnar , Greg KH , debian developer , Tarkan Erimer , linux-kernel@vger.kernel.org, Andrew Morton Subject: Re: Dual-Licensing Linux Kernel with GPL V2 and GPL V3 References: <200706190221.09067.dhazelton@enter.net> <200706190258.56955.dhazelton@enter.net> From: Alexandre Oliva Organization: Red Hat OS Tools Group Date: Tue, 19 Jun 2007 19:45:10 -0300 In-Reply-To: (david@lang.hm's message of "Tue\, 19 Jun 2007 14\:18\:11 -0700 \(PDT\)") Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.990 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1394 Lines: 36 On Jun 19, 2007, david@lang.hm wrote: > On Tue, 19 Jun 2007, Alexandre Oliva wrote: >> >> Once again, now with clearer starting conditions (not intended to >> match TiVo in any way, BTW; don't get into that distraction) >> >> >> Vendor doesn't care about tivoizing, their business works the same >> either way. >> >> Vendor's employees will contribute the same, one way or another, so >> their contributions are out of the equation. > no, this is what you are missing. No, this is just one of many possible situations. You're just thinking of a different scenario, in which tivoization is important for the tivoizer. We'll get to that. Please be patient. Don't get the illusion that you're disputing or weakening the argument with these statements. Disputing premises of a logical inference is pointless as far as disputing a larger argument that this particular lemma would be a part of. -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ FSF Latin America Board Member http://www.fsfla.org/ Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org} Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org} - 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/