I was working for an avionics startup that was facing the same problems. The necessairy ingredients to get a system certified were all just way out of reach for

I was working for an avionics startup that was facing the same problems. The necessairy ingredients to get a system certified were all just way out of reach for us. For example, the asking price for the DO178 certified operating system was around 200.000 Euros. Then another 200.000 for the safety critical OpenGL drivers. And so on and so forth. In the end, we went with a Linux based noncertified system which could be used in the aircraft via an expensive "minor change". We sold exactly one device an went bancrupt. Killed by IPad & Co.