Martin Kostal

Unable to load yosys plugin system verilog

2

`yosys> plugin -i systemverilog ERROR: Can't load module `./systemverilog': /usr/bin/../share/yosys/plugins/systemverilog.so: undefined symbol: _ZN5Yosys4Pass11on_registerEv` ubuntu 20.04 LTS in WSL2 container Yosys 0.9 (git sha1 1979e0b) yosys-systemverilog compiled from sources as per...

GCC 15 + RVV cause illegal instruction sequence in PK

1

When compiling PK with the latest GCC v15 with architecture RV64GCV the compiler uses vector instructions for uart init before `mstatus.VS` is properly set which causes illegal instruction error in...