Hi Chris,
> 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.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel