La sûreté fonctionnelle dans les véhicules virtualisés repose sur l'interdiction matérielle des accès non autorisés. Cet article détaille la translation Stage-2 et les SMMU.
Chaque VM croit contrôler la RAM physique dès l'adresse 0x0. L'hyperviseur configure les registres VTCR_EL2 et VTTBR_EL2 pour mapper ces adresses sur des pages hôtes étanches.
Le DMA des contrôleurs réseau contourne la MMU du processeur. La SMMU filtre les flux via leurs Stream IDs et bloque net tout accès hors des pages autorisées.