>A faster way to get the kernel to compile is to comment out the `options FPE'
>line, which is enabled in the GENERIC config file. Doing this, you get
>only the ARM FPE to be compiled in your kernel. (btw, GENERIC is the only
>config file where the single precision FPE is enabled, all others use ARM's)
Both FPE and ARMFPE options used to be in the GENERIC config file.
However for a long time now the line

option FPE

as been commented out in all config files.
Numerorous changes have been made to properly support the ARM FPE core and due
to its performance there has been no effort to upgrade the original single prec
FPE to conform to the same call proceedure.

Currently the removal of the single precision FPE is under consideration.

If your config file is inherited from an earlier source tree then it is
possible that if has options etc that are no longer current and thus you should
have a look at am uptodate GENERIC config to check for changes.

Cheers,
				Mark

-- 
Mark Brinicombe				amb@physig.ph.kcl.ac.uk
Research Associate			http://www.ph.kcl.ac.uk/~amb/
Department of Physics			tel: 0171 873 2894
King's College London			fax: 0171 873 2716