La sicurezza funzionale nei veicoli virtualizzati si basa sulla capacità del silício di vietare accessi non autorizzati. L'articolo illustra Arm Stage-2 e SMMU.
Ogni VM presume di controllare la RAM fisica partendo da 0x0. L'hypervisor imposta i registri VTCR_EL2 e VTTBR_EL2 per mappare gli indirizzi su frame fisici discreti e non sovrapposti.
Il DMA dei controller di rete elude la MMU della CPU. La SMMU controlla gli ID di flusso, verifica il contesto Stage-2 e blocca accessi non autorizzati al bus.