WARNING: ignoring device_model directive.
WARNING: Use «device_model_override» instead if you really want a non-default device_model
libxl: error: libxl_dm.c:1371:device_model_spawn_outcome: domain 12 device model: spawn failed (rc=-3)
libxl: error: libxl_create.c:1186:domcreate_devmodel_started: device model did not start: -3
libxl: error: libxl_dm.c:1475:kill_device_model: Device Model already exite
less /var/log/xen/xl-windows8.log
Waiting for domain windows8 (domid 2) to die [pid 26057]