Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S261630AbVE3SrH (ORCPT ); Mon, 30 May 2005 14:47:07 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S261676AbVE3SrH (ORCPT ); Mon, 30 May 2005 14:47:07 -0400 Received: from opersys.com ([64.40.108.71]:30221 "EHLO www.opersys.com") by vger.kernel.org with ESMTP id S261630AbVE3SrA (ORCPT ); Mon, 30 May 2005 14:47:00 -0400 Message-ID: <429B61F7.70608@opersys.com> Date: Mon, 30 May 2005 14:56:55 -0400 From: Karim Yaghmour Reply-To: karim@opersys.com Organization: Opersys inc. User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.2) Gecko/20040805 Netscape/7.2 X-Accept-Language: en-us, en, fr, fr-be, fr-ca, fr-fr MIME-Version: 1.0 To: Esben Nielsen 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 References: In-Reply-To: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 973 Lines: 22 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 ... Karim -- Author, Speaker, Developer, Consultant Pushing Embedded and Real-Time Linux Systems Beyond the Limits http://www.opersys.com || karim@opersys.com || 1-866-677-4546 - 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/