Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com> Change-Id: Ic826f0cb46e07b9b5135eee1e518bc13f3d978a1 Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/44485 Reviewed-by: Gabe Black <gabe.black@gmail.com> Maintainer: Gabe Black <gabe.black@gmail.com> Tested-by: kokoro <noreply+kokoro@google.com> Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/45823