dev: Enable Terminal output's dump to stdout

While the default option is to dump the Terminal content in a file (e.g.
m5out/system.terminal), with this patch it will be possible to choose to
dump it to standard output.

Change-Id: If51c2fd671fa3eb0867a855b5f7d3b0df9cad025
Signed-off-by: Giacomo Travaglini <>
Maintainer: Jason Lowe-Power <>
Tested-by: kokoro <>
Reviewed-by: Daniel Carvalho <>
Reviewed-by: Jason Lowe-Power <>
Reviewed-by: Andreas Sandberg <>
3 files changed