When studying separation kernels, I remember that they were trying to safely/securely consolidate multiple systems (software and hardware) into fewer ones to sa

When studying separation kernels, I remember that they were trying to safely/securely consolidate multiple systems (software and hardware) into fewer ones to save cost, size, energy, etc. Two things they were doing were separation kernels allowing lower-criticality stuff to be hosted with high-criticality and a special version of Ethernet (AFDX) that did something similar with provisions like reserving bandwidth. So, you're saying there's no shared components at all... boards, data lines/switches, power lines/switches... between entertainment and critical systems? They run separate, highly-filtered power wires with separate boards with separate data lines for the two? No shared components at all?