...
- EDK2: https://github.com/yli147/edk2/tree/dev-standalonemm-rmpirpmi
- OpenSBI: https://github.com/Penglai-Enclave/opensbi/tree/dev-standalonemm-rmpirpmi
- QMEU: https://github.com/yli147/qemu/commits/dev-standalonemm-rmpirpmi
Manually build
Compile QEMU
...