The creator of Asterisk (the linux-based PBX) has been building a modern modular avionics system which I believe is Linux-based. From what I can tell they have plans for certification.
The new octavia device looks really nice but it is pricey for what it is.