https://www.vxworks6.com/training/introduction-to-the-kernel-shell/