[Simh] Virtual VAXen

[Sergey Oboguev]

> Ah yes, the VVAX option... another attempted graft on the VAX architecture 
>tree. Unlike vectors, it never got as far as a real implementation.

According to VVAX / VAX Security Kernel developers, while it was never released 
externally as a product, there was internal proof-of-concept implementation on 
11/730 and production quality implementation on 8800, the latter field-tested in 
1989 at a number of external customers' sites.

http://dx.doi.org/10.1109/32.106971
http://www.cse.psu.edu/~tjaeger/cse543-f06/papers/vax_vmm.pdf

http://dx.doi.org/10.1109/RISP.1990.63834
http://www.scs.stanford.edu/nyu/02sp/sched/vmm.pdf

And here is somewhat more detailed technical description:
http://dx.doi.org/10.1109/ISCA.1991.1021630
http://mprc.pku.cn/mentors/training/ISCAreading/1991/p380-hall/p380-hall.pdf