change the OpenPOWER ISA instances to POWER ISA in the intro, the ISA is called POWER ISA
[libreriscv.git] / libera.txt
1 libera-verify-319178327