https://www.vxworks7.com/book/vxworks-operating-system-guide/