This is working well enough for booting a FreeBSD guest.
Base on earlier work by University Politehnica of Bucharest.
Known issues:
- Untested with a malicious guest
- Doesn't work with a GICv2
- Doesn't support FEAT_VHE
Sponsored by: Innovate UK
Sponsored by: The FreeBSD Foundation
Sponsored by: University Politehnica of Bucharest