I wasn't able to download the project from OpenCores. Trying variants of the URL eventually worked; I had to use:
https://opencores.org/download/System09
Rather than the link provided on the site (https://opencores.org/download/system09)
The links might also be incorrect at: