Comment by IshKebab

You can just use QEMU. It has RVA23 support and is probably still faster and easier than using actual machines.