diff options
Diffstat (limited to 'src/arch/arm/system.hh')
| -rw-r--r-- | src/arch/arm/system.hh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/arch/arm/system.hh b/src/arch/arm/system.hh index 511118d4d..ee286d23a 100644 --- a/src/arch/arm/system.hh +++ b/src/arch/arm/system.hh @@ -1,5 +1,5 @@ /* - * Copyright (c) 2010, 2012-2013, 2015 ARM Limited + * Copyright (c) 2010, 2012-2013, 2015-2016 ARM Limited * All rights reserved * * The license below extends only to copyright in the software and shall @@ -184,9 +184,8 @@ class ArmSystem : public System { if (_haveSecurity) return EL3; - // @todo: uncomment this to enable Virtualization - // if (_haveVirtualization) - // return EL2; + if (_haveVirtualization) + return EL2; return EL1; } |