各位前辈，小弟刚接触嵌入式开发，手头上有一套友善之臂Tiny6410开发板，现在正在学习研究中。有个问题困扰很多天了，一直没能解决。
我现在想在一个gpio测试程序里调用内核里的一些函数，例如 s3c_gpio_cfgpin、s3c_gpio_do_setcfg 等，但是使用 #include <plat/gpio -cfg.h> 等头文件时，编译无法通过，提示找不到头文件。编译器用的是arm-linux-gcc-4.5.1。
我已经将光盘里的linux-2.6.38-20110718按照文档《Tiny6410 Linux开发指南》上的说明解压到了 /opt/FriendlyARM/... 下面。请问应该如何配置，才能解决找不到头文件的问题？
我宿主机上安装的是fedora9，内核是2.6.25，而开发板上linux的内核是2.6.38。宿主机上的内核是不是必须和开发板上的一致才行？
我知道这个问题很初级，但是我找了很多资料，都没找到相关的解答。希望各位前辈能给指点一下，万分感谢！！！！！
