upstream=https://github.com/YosysHQ/picorv32
commit=ef203c2b0a3fb793280f5114941416c425c5b461
license=ISC (COPYING → LICENSE)
fetched=2026-09-23
files=picorv32.v
