Charles M. Hannum wrote:
> The pc532 port, however, contains information which is incorrect:
> 
> ../pc532/fpu/README:         ss = splsched();    /* Note 1 */
> ../pc532/fpu/README:    run ieee_handle_exception at splsched.

Ian Dall wrote the ns32532 fpu IEEE extension on a machine running
Mach3/Lites. The part of the README you are refering to describes how
this code is used in Mach. The information provided is correct, but
only for Mach :-).

Matthias
-- 
leo@dachau.marco.de			in real life: Matthias Pfaller
marco GmbH, 85221 Dachau, Germany	tel: +49 8131 516142