On Fri, Feb 04, 2005 at 12:44:36PM -0600, Robert Lipe wrote: > > If my memory is any good, arm, or atleast one of the debian > > arches, does not support floating point on the CPU and it's > > implemented in the kernel. > > I remember when systems like that roamed the earth. > > > There are several implemtations of this where one is slow but correct > > and an other that is alot faster but isn't that correct. > > Who makes the decision on which emulator gets used? We don't do a ton
I don't know. I guess it would be worthwhile to check with debian-arm. This is also causing trouble for the ghc6 port to arm, which is why I'm familiar with it. Apparently the entire userland, beginning with libc, must be recompiled to switch to the gcc emulation (which is the more "correct", and also faster, one). > of floating point math in the common case, but a really key thing is to > be able to read and write binary representations exactly as they appear > in our file formats. > > (Yes, it's lame that such formats exist, but that's the world in which we > live.) > > RJL > > -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
