All the Virgin planes use Linux for the in-flight entertainment system. I think they use Airbus planes too but I'm not sure.