Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1422804AbWKEXgE (ORCPT ); Sun, 5 Nov 2006 18:36:04 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S932749AbWKEXgE (ORCPT ); Sun, 5 Nov 2006 18:36:04 -0500 Received: from emailer.gwdg.de ([134.76.10.24]:21924 "EHLO emailer.gwdg.de") by vger.kernel.org with ESMTP id S932604AbWKEXgC (ORCPT ); Sun, 5 Nov 2006 18:36:02 -0500 Date: Mon, 6 Nov 2006 00:35:30 +0100 (MET) From: Jan Engelhardt To: James Courtier-Dutton cc: linux-kernel@vger.kernel.org Subject: Re: i387 Floating Point Unit (FPU) testing In-Reply-To: <454E54B6.5010206@superbug.co.uk> Message-ID: References: <454E54B6.5010206@superbug.co.uk> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam-Report: Content analysis: 0.0 points, 6.0 required _SUMMARY_ Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 681 Lines: 17 > The kernel contains some i387 FPU emulation code. > Is there any user land software to test the FPU emulation code? > I would like to be able to prove the correctness of the FPU emulation code in > the Linux kernel, and also port the test program to other platforms that > utilize FPU emulation. For example, DOS emulators like DOSBOX. If the kernel already emulates it, you don't really need emulation in userspace, no? -`J' -- - 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/