On 30/10/20 01:49, Richard Henderson wrote: > Fourth, I have renamed the command-line parameter to "split-rwx".
Stupid observation, but wouldn't it be "split-wx"? Thanks, Paolo > I don't think this is perfect, and I'm not even sure if it's better > than "mirror-jit". What this has done, though, is left the code > with inconsistant language -- "mirror" in some places, "split" in > others. I'll clean that up once we know decide on naming.