https://www.vxworks6.com/training/kernel-shell-configuration-and-commands/