80>2<87

[Sean Eric Fagan]

In article <276e44eb-1d5comp.unix.sysv386 at tronsbox.xei.com> tron1 at tronsbox.xei.com (HIM) writes:
>Does anyone know if the ISC kernel will find and use it ? 

Yes, it will.  There is a sysi86 call to find out the FPU kind:  1 is for an
emulator, 2 is for a '287, and 3 is for a '387, I believe.  This is in the
stock 3.2 release from AT&T, so there's no reason to believe ISC would have
lost it.

>and to test for future errors
>(like, if it emulates 3 of 4 instructions, will the FPU emulator get the
>last one or will my system halt ...)

Your system won't panic (or shouldn't); if you try to execute a '387-only
instruction, you should get a SIGABRT or something similar.

>Can someone send me a simple benchmark that I can use to test it ? If it
>will help X11 I'll be VERY happy.

Check out your boot message; it should tell you what kind of FPU is
available, if any.

-- 
Sean Eric Fagan  | "I made the universe, but please don't blame me for it;
sef at kithrup.COM  |  I had a bellyache at the time."
-----------------+           -- The Turtle (Stephen King, _It_)
Any opinions expressed are my own, and generally unpopular with others.