vxworks的源码,希望能对你有帮助!!