Return-Path: <linux-kernel-owner+akpm=40zip.com.au@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S317364AbSFCLG0>; Mon, 3 Jun 2002 07:06:26 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S317366AbSFCLGZ>; Mon, 3 Jun 2002 07:06:25 -0400
Received: from dsl-213-023-039-253.arcor-ip.net ([213.23.39.253]:17056 "EHLO
	starship") by vger.kernel.org with ESMTP id <S317364AbSFCLGS>;
	Mon, 3 Jun 2002 07:06:18 -0400
Content-Type: text/plain; charset=US-ASCII
From: Daniel Phillips <phillips@bonn-fries.net>
To: Karim Yaghmour <karim@opersys.com>, andersen@codepoet.org
Subject: Re: [ANNOUNCE] Adeos nanokernel for Linux kernel
Date: Mon, 3 Jun 2002 13:05:21 +0200
X-Mailer: KMail [version 1.3.2]
Cc: linux-kernel <linux-kernel@vger.kernel.org>,
        Philippe Gerum <rpm@idealx.com>
In-Reply-To: <3CFB2A38.60242CBA@opersys.com> <20020603095202.GA16392@codepoet.org> <3CFB40FB.E997F3E6@opersys.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 7BIT
Message-Id: <E17EpeL-0000st-00@starship>
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

On Monday 03 June 2002 12:12, Karim Yaghmour wrote:
> The 2 root claims in this patent are claim 1 & 7. Both of these
> contain the following statements [1]:
> > A process for running a general purpose computer operating system
> > using a real time operating system, including the steps of: 
> > 
> > a) providing a real time operating system for running real time
> > tasks and components and non-real time tasks; 
> > 
> > b) providing a general purpose operating system as one of the
> > non-real time tasks; 
> > 
> > c) preempting the general purpose operating system as needed for
> > the real time tasks; and 
> > 
> > d) preventing the general purpose operating system from blocking
> > preemption of the non-real time tasks. 

For anyone who's interested, here's a pointer to *all* the claims of
the rtlinux patent:

   http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=/netahtml/srchnum.htm&r=1&f=G&l=50&s1=%275,995,745%27.WKU.&OS=PN/5,995,745&RS=PN/5,995,745

And here's a pointer to a nice tutorial on how to read patent claims:

   http://www.tms.org/pubs/journals/JOM/matters/matters-9511.html

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