Migrate from `gem5.org/dist` to `dist.gem5.org/dist`

Description

Documentation and the download component uses data from `gem5.org/dist`. This is to be deprecated. `dist.gem5.org/dist` should be used instead (the latter is hosted on Google Cloud services).

Documentation (including the `learning-gem5` book) and download components point towards the the old URL.

Note: this transition should not happen until the gem5 Google cloud service is fully deployed and funded from Google research credits.

Activity

Show:
Bobby Bruce
February 20, 2020, 8:57 PM

Pretty sure this is all done:

https://gem5-review.googlesource.com/c/public/gem5/+/24548

The website also appears to be in a good state.

Done

Assignee

Bobby Bruce

Reporter

Bobby Bruce

Components

Priority

Low