A web interface written in PHP to configure VMs for JRTSC