A segurança funcional em veículos virtualizados depende da capacidade do silício de bloquear acessos não autorizados. Entenda a tradução Arm Stage-2 e SMMUs.
Cada VM acredita possuir a RAM física a partir do endereço 0x0. O hipervisor configura registradores VTCR_EL2 e VTTBR_EL2 mapeando endereços para blocos físicos reais.
Transações DMA de placas Ethernet contornam a MMU da CPU. A SMMU inspeciona IDs de fluxo, consulta o contexto Stage-2 e descarta qualquer acesso fora dos limites.