Moving this off gerrit so it's publicly visible.
One problem is that the wiki isn't very easy to use. There's a lot of good
documentation there, but it's hard to find and many people miss it. Part of
the problem is probably bad SEO making it hard for Google to return good
results (if only we knew
Éder F. Zulian has uploaded this change for review. (
https://gem5-review.googlesource.com/5101
Change subject: util, scripts: helpful scripts, patches and doc.
..
util, scripts: helpful scripts, patches and doc.