QEMU4V 0.1.1 released
QEMU4V 0.1.1 has been released.
We are happy to announce the first build of the QEMU4V tool.
QEMU4V ("QEMU for Verification") is an open source emulator for assembler programs that is based on QEMU project. The tool performs emulation for programs of several hardware architectures and provides some features (tracing, etc.) for system verification of microprocessors.
This build is based on 2.12.0 version of the QEMU emulator and includes all the features of QEMU for ARMv8 and QEMU for RISC-V tools.
The complete list of closed issues is available here
The source code can be downloaded from here
Comments