K 10 svn:author V 5 peter K 8 svn:date V 27 1999-05-15T17:58:58.000000Z K 7 svn:log V 238 Don't hardcode IRQ 13 for NPX. It's as good as hardwired in the hardware though, on systems (386 mostly) that still have a seperate fpu, but it might be possible to find systems where the FPU coprocessor is wired to a different IRQ pin. END