| commit | 235209a3edd253ab7423373f04d4cee0b22f03e7 | [log] [tgz] |
|---|---|---|
| author | Giacomo Travaglini <giacomo.travaglini@arm.com> | Wed Apr 15 08:54:26 2020 +0100 |
| committer | Giacomo Travaglini <giacomo.travaglini@arm.com> | Tue Apr 21 15:34:01 2020 +0000 |
| tree | 4f944f215a392ebafe6f5d369b17578f836221a6 | |
| parent | c80b2e38118a1156c762fa58766d51e146707efa [diff] |
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>