Embedded Linux in a Partitioned Architecture for Aerospace Applications