This repo hosts the unit tests that are used for verifying the RISC-V hypervisor extension sail model

These unit tests are verified using the following H-extension capable emulators/models:

• spike
• minho-pulp/cva6 fork of openhwgroup/cva6
• rocket-chip instance

Details on exact versions etc. can be found in riscv-ci-env

Actual tests are situated in ./tests/. Environments & libraries common to multiple tests sit in ./common/. Each test defines a build.json which indicates how the test should be build.