Redirecting to Popek and Goldberg virtualization requirements