如何使用KITL的问题已经解决。
在PLATFORM\mini2440\Src\Inc\options.h文件中,
// --- by customer
//#define KITL_NONE
#define KITL_SERIAL_UART0
//#define KITL_SERIAL_UART1
//#define KITL_USBSERIAL
//#define KITL_ETHERNET
打开你需要使用的kitl的方式即可。
我使用的是release版本的kitl。debug版本因为系统尺寸的问题无法下载成功。