Are the properties that have been proven for seL4 particularly relevant for avionics systems? I thought they mainly focussed on process isolation and security.

Are the properties that have been proven for seL4 particularly relevant for avionics systems? I thought they mainly focussed on process isolation and security. A flight computer would be much more concerned about deterministic performance and real-time guarantees.