Hi,
Would it be easier if we work with the StrongTalk VM and embed primitives that will enable us certification ? If we conclude that the general VM will have difficulties to pass certification, may be, what we need is a VM that is certified, which has minimum mods. In which case, StrongTalk might be a good place to start. Thoughts ?
Cheers <k/>