Linux: A multi-purpose executive support for civil avionics applications?