Roberto Ferniani wrote:
I have a stock falcon + 68882 fpu, cross compiling with gcc 4.5.1 on linux. Thank you all for any suggestion and sorry for my english.
I can't do compilation tests right now, but...You are trying to compile a custom kernel. I guess this is because you want to get the optimal kernel for your hardware (68882). The FreeMiNT kernel itself doesn't use the floating point types (float/double), so you will not get any improvement when compiling it for the FPU.
So the standard mint030.prg should be optimal for you. You can always get the latest build here: http://www.freemint.org/builds/freemint (when it's back online) -- Vincent Rivière