Description of Problem:
I have a problem using floats in a ecos prg. see the prg.
I use a downloaded floppy image to boot the pc. If i config my tree, where 
i build the samples against, with the following lines i have the problem:
ecosconfig pc
ecosconfig tree 
make

if i manualy disable the CYGHWR_HAL_I386_FPU_SWITCH_LAZY (user_value 0) 
the program works fine. 


int main(void)
{

char s[100];
float f;//=0.0123;

strcpy (s,"Rini van Zetten");

f=0.2;
printf("Hello, eCos world!, f= %f\n",f);

return 0;
}

before the line f=0.2; the value of s is of course "Rini van Zetten" but 
after that line the first 4 chars are changed.
Also if i comment out the char part the program crashes on the printf 
statement.


Version-Release number of selected component (if applicable):
dowloaded from cvs last week of october

How Reproducible:

see description

Steps to Reproduce:
1. 
2. 
3. 

Actual Results:

see description

Expected Results:


see description

Additional Information:
	
the problem is solved but in the email list Jonathan Larmour asked me to 
report it as a bug.