add extra info
[libreriscv.git] / pluggable_extensions.mdwn
2018-05-02 rogier.brussee@b90... Description of the pluggable extension proposal replaci...