Index of /src/picorv32-0.1.3/ci/

../
install.sh                                         12-Jul-2019 14:25                 363
script.sh                                          12-Jul-2019 14:25                 311