> The main problem I see mentioned when going the other way (ARM emulating x86) is dealing with "flags". I see the much larger problem in ARM emulating the mem

> The main problem I see mentioned when going the other way (ARM emulating x86) is dealing with "flags". I see the much larger problem in ARM emulating the memory model of x86, which gives much stronger guarantees on ordering and synchronization than the weak memory model used by ARM processors.