Message-ID: <454FDD27.6000506@zytor.com>
Date: Mon, 06 Nov 2006 17:11:03 -0800
From: "H. Peter Anvin" <hpa@zytor.com>
User-Agent: Thunderbird 1.5.0.7 (X11/20060913)
MIME-Version: 1.0
To: James Courtier-Dutton <James@superbug.co.uk>
CC: linux-kernel@vger.kernel.org
Subject: Re: i387  Floating Point Unit (FPU) testing
References: <454E54B6.5010206@superbug.co.uk>
In-Reply-To: <454E54B6.5010206@superbug.co.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 701
Lines: 19

James Courtier-Dutton wrote:
> Hi,
> 
> 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.
> 

The i387 FPU emulation code is originally from DJGPP, I believe.

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