1、需要在Options for Target -> Code Generation 中勾选Use MicroLIB；
2、需要加入下面这个函数：
int fputc(int ch, FILE *f)
{
USART_SendData(USART1,(uint8_t)ch);
while (USART_GetFlagStatus(USART1,USART_FLAG_TC) != SET);
return (ch);
}
3、需要加入如下一个头文件：
#include "stdio.h"
（在网上看到多数人加了两个头文件：
#include "stdio.h"
#include "stdarg.h"
但在实际中只需加入一个头文件即可
）。
STM32F051关于printf函数在串口打印中的使用
原文：http://www.cnblogs.com/dreamer-ele/p/3965029.html
