[Info-vax] clock problems with OpenVMS x86 on VirtualBox

[Dan Cross]

In article <8b6c6dbd-5dc4-41aa-982e-7c25c5ebb29an at googlegroups.com>,
gah4  <gah4 at u.washington.edu> wrote:
>[snip]
>In the case of virtual machines, each one will have its own CPU timer,
>but only one TOD clock.  STCK is not a privileged instruction, so programs
>(or OS) see the host clock.

This would seem to violate Popek and Goldberg's virtualization
criteria; how is that squared?

	- Dan C.