configs: Add --machine-type option to baremetal.py
authorGiacomo Travaglini <giacomo.travaglini@arm.com>
Wed, 15 Apr 2020 17:20:07 +0000 (18:20 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Tue, 21 Apr 2020 15:34:01 +0000 (15:34 +0000)
commitb1d434363b108681b3d8e3fbf57a0a6dd7fba6b3
tree736ddb8ab14feaead7342bfdaf26019f3f6bd24c
parent235209a3edd253ab7423373f04d4cee0b22f03e7
configs: Add --machine-type option to baremetal.py

Change-Id: Ie5d81b455b86f456a49ba91aa231169be319fa73
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Adrian Herrera <adrian.herrera@arm.com>
Reviewed-by: Ciro Santilli <ciro.santilli@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/27952
Tested-by: kokoro <noreply+kokoro@google.com>
configs/example/arm/baremetal.py