Coupling virtual machines and system construction (Proceedings of the workshop on virtual computer systems on)