There&#x27;s work on it in the verification community but not quite a full emulator yet. Is work on various pieces though. Meanwhile, separation kernels like seL4 and verified hypervisors like NOVA&#x2F;Seoul can reduce risks.