X86-64 verification roadmap

Are you currently working on a more complete verification for x86-64 (multicore, hypervisor, beyond just FC)? If so, any guesstimates on when any of that might happen? Thanks!

Hi Alex!

We are currently not actively working on more x86-64 verification features, but would be open to it if there is funding.

Some of the general work we’re doing for other architectures will increase the scope for x86-64 as well or reduce the effort for adding the feature to the verified x86-64 set (multicore, security), but it’s not the focus of the work and is therefore not likely to happen quickly.