X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=README.md;h=e664b8f02499c819320443e107e2581308179cf4;hb=1ecbc79da3bf38962e21f397decb3f59ba4f6e25;hp=faf3975b02732911c63c8ac6bbf03750d935fbf6;hpb=4583bfbec8b80c062aef7aeadd84949c37321e9a;p=openpower-isa.git diff --git a/README.md b/README.md index faf3975b..e664b8f0 100644 --- a/README.md +++ b/README.md @@ -23,8 +23,7 @@ and the following scripts: Once those are sorted, installation and setup is as follows: * python3 setup.py develop -* make svanalysis -* make pywriter +* make generate # Usage @@ -82,10 +81,23 @@ cartoons especially appreciated: All programs are written by Libre-SOC team members are LGPLv3+. However the specification and the CSV files came from their -respective Copyright holders (IBM, OpenPOWER Foundation, Microwatt) +respective Copyright holders (IBM, OpenPOWER Foundation, Microwatt). + +Bear in mind that the *facts* in a specification may not be copyrighted, +however the document (or source code) *containing* those facts can be and +is copyrightable. In this repository, the **facts** were extracted +(from Microwatt and from the OpenPOWER ISA Technical Specification). + +Therefore, you, likewise, may *also* extract the **facts** from this +source code, but for the actual source code itself you must respect the +terms and conditions of the LGPLv3+ License in which those facts happen +to be embedded. # Other Unit Tests There do exist other unit tests for OpenPOWER. List them here: * https://bitbucket.org/sandip4n/gem5-powerpc64le-tests/src/master/ +* http://sources.buildroot.net/kvm-unit-tests/git/powerpc/ +* https://github.com/lioncash/DolphinPPCTests +