> Out of curiosity, has Data61 ever worked with a non-CAmkES VM on x86 similar to > how the old ARM VMM worked? If so, is that something that could be released?

We spent a bit of time looking, but although the initial development did involve such a thing, it no longer exists (if I recall correctly it was student code on a branch somewhere that may be buried in our pre-git archives, not worth reviving).

So, no, we don't have any code we can make available for a non-Camkes x86 VM.

Cheers

Anna.