commit 441138b837bde55476d4324f172a6c88b6c186cd
author Giacomo Travaglini <giacomo.travaglini@arm.com> Thu Feb 06 14:34:48 2020 +0000
committer Giacomo Travaglini <giacomo.travaglini@arm.com> Mon Feb 10 09:52:44 2020 +0000
tree 08f740d53e125479a8a4fb30e871f6072fa79023
parent 20ed09d1a1013f0656684173ff65ba8f85c9555c

configs: Using VExpress_GEM5_V1 as a default for Options.py

This is replacing deprecated VExpress_EMM for scripts using Options.py,
like fs.py.

Change-Id: I2ba01b248bb9baf49e1f2217d623f3b9bc8a35f9
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Nikos Nikoleris <nikos.nikoleris@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/25183
Reviewed-by: Jason Lowe-Power <jason@lowepower.com>
Maintainer: Jason Lowe-Power <jason@lowepower.com>
Tested-by: kokoro <noreply+kokoro@google.com>

configs/common/Options.py

diff --git a/configs/common/Options.py b/configs/common/Options.py
index 4943486..a126f3c 100644
--- a/configs/common/Options.py
+++ b/configs/common/Options.py
@@ -434,7 +434,7 @@
                       help="List available platform types")
         parser.add_option("--machine-type", action="store", type="choice",
                 choices=ObjectList.platform_list.get_names(),
-                default="VExpress_EMM")
+                default="VExpress_GEM5_V1")
         parser.add_option("--dtb-filename", action="store", type="string",
               help="Specifies device tree blob file to use with device-tree-"\
               "enabled kernels")