# Node ID 3edb65992c1db39377595e20ca62cb12e7bb49f5
# Parent  0d66950324731e2ed3b018494218421e88a25c0d
diff --git a/src/arch/arm/faults.cc b/src/arch/arm/faults.cc
--- a/src/arch/arm/faults.cc
+++ b/src/arch/arm/faults.cc
@@ -439,6 +439,8 @@
         // Determine target exception level
         if (ArmSystem::haveSecurity(tc) && routeToMonitor(tc))
             toEL = EL3;
+        else if (ArmSystem::haveVirtualization(tc) && routeToHyp(tc))
+            toEL = EL2;
         else
             toEL = opModeToEL(nextMode());
         if (fromEL > toEL)