Sounds really interesting! Have you written anywhere about how you got involved in that? I'd be curious to know how one sells into the airline industry.
When you say "not safety related in any way", do you mean that your code runs on auxiliary systems, like the entertainment platform?