跪求！Ubuntu中使用Skyeye运行helloworld程序

[jrl137824675]

hello.c文件内容如下——
#include <stdio.h>

int main()
{
printf("Hello World!\n");
return 0;
}

skyeye.conf（照实验指导书写的）内容如下——
#skyeye config file sample
cpu: arm7tdmi

mach: at91

mem_bank: map=M, type=RW, addr=0x01000000, size=0x00400000
mem_bank: map=I, type=RW, addr=0xf0000000, size=0x10000000
code_coverage:state=on,start=0x1000000, end=0x1400000, filename=./code_cov
#log: logon=0, logfile=./sk1.log, start=0, end=200000

将所有文件写好后，我用arm-linux-gcc -o hello hello.c的方式生成了可执行程序hello

但是skyeye -e hello后就是打印不出来"Hello World"。
听老师说是因为我装的是skyeye-testsuite-1.2.5，它运行起来相当于没有操作系统，也就没有C的库函数，遇到printf就没用。。。但是到底怎么解决这个问题呢？