For some reason I thought ZeroVM is based on vx32, not NaCL: http://pdos.csail.mit.edu/~baford/vm/ http://pdos.csail.mit.edu/~baford/vm/ Does anyone know if the

For some reason I thought ZeroVM is based on vx32, not NaCL: http://pdos.csail.mit.edu/~baford/vm/ http://pdos.csail.mit.edu/~baford/vm/ Does anyone know if there is something similar based on vx32?