Hi,

syncing my kernel config files, I wondered what the following options do:

# FPA options
#options 	FPE		# Single precision FPE
#options 	ARMFPE		# ARM Ltd FPE

Maybe someone can add these (and whatever else is missing >:) to
options.4? Would be cool!

And while here: does option FFS_EI work on the shark? It's not in the
SHARK config file...

Thanks,

	Hubert

P.S.: Please reply via CC:, I'm not on this list!

-- 
Hubert Feyrer <hubert.feyrer@rz.uni-regensburg.de>