Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S261714AbVE3TeJ (ORCPT ); Mon, 30 May 2005 15:34:09 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S261713AbVE3TeJ (ORCPT ); Mon, 30 May 2005 15:34:09 -0400 Received: from lirs02.phys.au.dk ([130.225.28.43]:55958 "EHLO lirs02.phys.au.dk") by vger.kernel.org with ESMTP id S261714AbVE3TeB (ORCPT ); Mon, 30 May 2005 15:34:01 -0400 Date: Mon, 30 May 2005 21:33:13 +0200 (METDST) From: Esben Nielsen To: Karim Yaghmour Cc: Nick Piggin , kus Kusche Klaus , James Bruce , "Bill Huey (hui)" , Andi Kleen , Sven-Thorsten Dietrich , Ingo Molnar , dwalker@mvista.com, hch@infradead.org, akpm@osdl.org, linux-kernel@vger.kernel.org Subject: Re: RT patch acceptance In-Reply-To: <429B61F7.70608@opersys.com> Message-Id: 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: 1213 Lines: 30 On Mon, 30 May 2005, Karim Yaghmour wrote: > > Esben Nielsen wrote: > > Ofcourse, there is a lot of buts to that. You have to check that the > > driver doesn't take a call path which is nontermnistic in special cases > > and the path between your application and the driver is deterministic. > > A static code checker would be nice... > > Which gets up back where we began: drivers that are non-deterministic > will continue being deterministic regardless of what solution is adopted, > if any, and will be in need of a re-write/major-modification, which > itself will have little or no added value for non-rters ... But if you do have to maintain your own driver it is a lot easier to start from an existing and fix that one than it is to start all over. I bet the modifcations aren't too big for many drivers anyways. When I get more time I'll try to look into some drivers. Many of them is propably just about removing printk's and the like. Esben > > Karim - 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/