diff options
Diffstat (limited to 'configs/common/PlatformConfig.py')
-rw-r--r-- | configs/common/PlatformConfig.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/common/PlatformConfig.py b/configs/common/PlatformConfig.py index 636e6d8ac..1d047b118 100644 --- a/configs/common/PlatformConfig.py +++ b/configs/common/PlatformConfig.py @@ -48,6 +48,7 @@ _platform_classes = {} _platform_aliases_all = [ ("RealView_EB", "RealViewEB"), ("RealView_PBX", "RealViewPBX"), + ("VExpress_GEM5", "VExpress_GEM5_V1"), ] # Filtered list of aliases. Only aliases for existing platforms exist |