A fast and secure RISC-V based virtual machine - View it on GitHub