为什么韦老师2440裸机lcd测试程序中printf不能输出浮点数？

该测试程序实现了printf函数，可正常输出整数，但是不能输出浮点数，似乎不支持%f  不知道问什么？韦老师有用过自己的lcd例程中的printf输出过浮点数吗？
int a;
double d;
a=10;
d=2.5438;
printf("a=%d",a);// 输出为  a=10;   输出正常。
printf(d=%f",d);//输出为 d=%f  不正常。这是为啥，如何解决？？？？？