The Cockpit XVS display is powered by VxWorks and provides a cool HMI to the pilot that's configurable. https://ntrs.nasa.gov/api/citations/20220006188/downloads/XV...