Enrico Zelioli

Extend CLIC to support interrupt delegation to virtual machines. Enabled / disabled by VSCLIC and VSPRIO parameters.

Firmware SMP boot bug

5

The cold-boot-hart lottery in `fw_base.S` has recently been modified by using the __boot_status_ variable instead of the __relocate_lottery_ variable. This introduces a data race since the __boot_status_ variable is also...

treewide: Improve SMP support

3

Contributions: - Refactor bootrom source code to be parametric (note no changes in actual bootrom content) - Add SMP support to software runtime - Add simple SMP hello software test...

Add Litmus tests

4

Contributions: - Refactor bootrom source code to be parametric (note no changes in actual bootrom content) - Add SMP support to software runtime - Add simple SMP hello software test...

Add Yosys elaboration support

1

This PR adds support for elaboration with Yosys. At the moment this is basically equivalent to parsing the design with Slang, as Yosys is configured to use Slang as frontend....

When the core is stalling due to a `wfi`, the execution is resumed if a supervisor external interrupt is raised, regardless of the respective enable bit in `MIE`. PR https://github.com/openhwgroup/cva6/pull/765...