diff options
Diffstat (limited to 'configs/common/PlatformConfig.py')
-rw-r--r-- | configs/common/PlatformConfig.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/common/PlatformConfig.py b/configs/common/PlatformConfig.py index 34325f315..306b7320d 100644 --- a/configs/common/PlatformConfig.py +++ b/configs/common/PlatformConfig.py @@ -52,7 +52,6 @@ _platform_classes = {} # Platform aliases. The platforms listed here might not be compiled, # we make sure they exist before we add them to the platform list. _platform_aliases_all = [ - ("RealView_EB", "RealViewEB"), ("RealView_PBX", "RealViewPBX"), ("VExpress_GEM5", "VExpress_GEM5_V1"), ] |