search

OpenXiangShan / NEMU

Other
228 stars 84 forks source link

ci: add difftest with spike for nutshell #456

Closed cebarobot closed 3 weeks ago

cebarobot commented 3 weeks ago

Currently, NEMU just has difftest CI only on XiangShan defconfigs. This patch add difftest CI on Nutshell, in order to improve NEMU quality in different configs.

This PR also include an compilation fix when PMP is disabled.

cebarobot commented 3 weeks ago

Probably we need to tell users how to build the CI_WORKLOADS somewhere in the doc (or should we simply download the Spike releases?)

Yes. Add to the document enhancement plan.