Clone 40s-dv (Delete 40s directory)
This PR deletes cv32e40s/*.
Overview:
After https://github.com/openhwgroup/cv32e40s-dv/pull/3, the external "dv" repo can replace the directory cv32e40s/.
(Just like it was done for the x.)
The core-specific directories in core-v-verif (i.e. cv32e40s/ and cv32e40x/) will be empty, except for a README with instructions for getting the actual content.
Changes:
-
bin/clonetbgets new flags, to help clone cv32e40s-dv. -
cv32e40s/README.mdjust explains how to use bin/clonetb. -
cv32e40s/*is otherwise purged.
Rationale:
This was already done for the X, because 1) it significantly eases merging S->X, and 2) it reduces the size of core-v-verif itself (so it just containts common code, libraries, agents, etc).
The reason for doing it on the S as well is because 1) it makes the system symmetrical (both cores have a *-dv repo), and 2) merging will be even easier, 3) dealing with smaller repos are easier.
We already have the cv32e40s-dv repo established, and half-way up to date, and soon it is full-way up to date.
Reviewing:
Evaluate the "Changes:" above.
If you want to run hello world:
Clone this PR's branch.
See the instructions in cv32e40s/README.md but use clonetb like it was done in https://github.com/openhwgroup/cv32e40s-dv/pull/3.
Then run hello world as normal.