vxworks下网卡驱动如何加载，求高手指教！！

最近项目需要，要在Powerpc 的开发板上面加一块以太网的PCI网卡，在网上找了个RTL8139D这款网卡的网卡驱动，大概修改了下，再修改了一下BSP的相关参数，在tornado下面编译能通过。但是由于我刚接触tornado，对BSP也不是很熟悉，不知道如何查看vxworks系统启动的时候网卡是否成功加载了，以及如何对网卡进行调试来检测驱动是否功能都正确，希望有经验的朋友能给我一个指导，不甚感激啊！！
 
PS:我对BSP的修改大概是
在config.h中加了INCLUDE_END和INCLUDE_RTL_8139_END宏，
在confignet.h中加入了网卡启动的相关参数宏以及在END_TBL_ENTRY结构数组中添加了网卡启动的参数项
不知道我BSP修改对不对？
 
然后把驱动的文件都放在BSP目录下，编译完后启动系统，通过ftp下载镜像后系统正常启动，但是由于自己没有相关驱动调试经验，不知道接下来如何调试，据目测好像网卡驱动没有正确的加载，知道的朋友指导一下吧，谢了！