如何在edk中使用标准C函数

像sys/time.h这样的函数，edk编译以后提示找不到函数，在xilinx的网站上查到这么个文档http://www.xilinx.com/ise/embedded/edk91i_docs/sa_oslib_libxil_stdc.pdf，它里面是这样说的：The Xilinx® Embedded Development Kit (EDK) libraries and device drivers provide standard C library functions，但是我在程序里使用time.h里面的函数却报错，请各位牛人指导一下吧。

是可以使用的。参考这个。
http://forums.xilinx.com/xlnx/board/message?message.uid=42000

学习~~~~~~~~~