Return-Path: <linux-kernel-owner+willy=40w.ods.org@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S266540AbSL2ME4>; Sun, 29 Dec 2002 07:04:56 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S266546AbSL2ME4>; Sun, 29 Dec 2002 07:04:56 -0500
Received: from ns2.tudelft.nl ([130.161.180.65]:10398 "EHLO ns2.tudelft.nl")
	by vger.kernel.org with ESMTP id <S266540AbSL2MEz>;
	Sun, 29 Dec 2002 07:04:55 -0500
Date: Sun, 29 Dec 2002 13:12:43 +0100
From: Martijn Sipkema <m.j.w.sipkema@student.tudelft.nl>
Subject: TimeSys violating GPL?
To: linux-kernel@vger.kernel.org
Reply-to: Martijn Sipkema <m.j.w.sipkema@student.tudelft.nl>
Message-id: <000d01c2af33$97825850$161b14ac@boromir>
MIME-version: 1.0
X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
X-Mailer: Microsoft Outlook Express 5.50.4522.1200
Content-type: text/plain; charset=iso-8859-1
Content-transfer-encoding: 7BIT
X-Priority: 3
X-MSMail-priority: Normal
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org
Content-Length: 552
Lines: 17

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.



-
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/