I'm still not 100% sure what exactly this is, even after reading the description thrice. Is it basically a RISC-V core in a system with standard x86 PC peripherals, i.e. a very odd but theoretically possible configuration to emulate, in the same way that QEMU (of the same author) lets you attach e.g. a classic VGA controller to an ARM core?
My reading is that it emulates either x86 or RISC-V CPU and can emulate various real x86 peripherals but it also includes the abstract VirtIO services for ... both?
I assume the RISC-V emulation is all VirtIO based and not real...
I think it’s both a a RISCV emulator and an x86 emulator. I think it’s both, presumably reusing some pieces allowing systems to be emulated like you say with weird configurations.
