configs: Add --semi-path option to baremetal.py
authorGiacomo Travaglini <giacomo.travaglini@arm.com>
Wed, 15 Apr 2020 07:54:26 +0000 (08:54 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Tue, 21 Apr 2020 15:34:01 +0000 (15:34 +0000)
commit235209a3edd253ab7423373f04d4cee0b22f03e7
tree4f944f215a392ebafe6f5d369b17578f836221a6
parentc80b2e38118a1156c762fa58766d51e146707efa
configs: Add --semi-path option to baremetal.py

This is to make it possible to configure the semihosting
root directory via commandline.

Change-Id: If5167abc19eb8d78db37ebc854c336fe778a8a6f
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/+/27951
Tested-by: kokoro <noreply+kokoro@google.com>
configs/example/arm/baremetal.py