https://www.vxworks6.com/bsp/command-line-rebuild-of-vxworks-kernel-source/