经常用keil,也听说IAR的编译效率很高，原来C51时用proteus，最近proteus8开始支持stm32,所以在研究用keil5+HAL+proteus学习STM32F.
问题：因为proteus的对stm32的仿真只支持.elf文件格式（GCC编译器的输出文件），而keil只能生产.alf和hex所以跑不起来。
查找：那keil能否用GCC呢？网上找到是可以的，在keil官网上http://www.keil.com/arm/gnu.asp查到和另一篇文章：
实际上为了怕配置后在用KEIL的armcc出错也可以用CODEBLOCKS进行arm的开发：
原文：http://www.cnblogs.com/jieruishu/p/7219489.html