Hello,
I'm trying to test what found here:
http://blog.wikichoon.com/2016/05/spice-openglvirgl-acceleration-on.html
and here:
https://www.kraxel.org/blog/tag/virgl/

My system is a fedora 25 laptop, born in version 23 and gradually updated to 24 and 25 now.

I had a fedora 25 guest that worked ok with "normal"spice and I'm trying to configure with virgl

Main components currently installed on host:
qemu-kvm-2.7.0-7.fc25.x86_64
libvirt-2.2.0-2.fc25.x86_64
virt-manager-1.4.0-4.fc25.noarch
VirtualGL-2.4-7.fc25.x86_64

Commands executed to modify configuration:
[root@ope46 qemu]# virt-xml f25 --confirm --edit --video clearxml=yes,model=virtio,accel3d=yes
--- Original XML
+++ Altered XML
@@ -94,8 +94,9 @@
       <address type="pci" domain="0x0000" bus="0x00" slot="0x04" function="0x0"/>
     </sound>
     <video>
-      <model type="virtio" heads="1" primary="yes"/>
-      <address type="pci" domain="0x0000" bus="0x00" slot="0x02" function="0x0"/>
+      <model type="virtio">
+        <acceleration accel3d="yes"/>
+      </model>
     </video>
     <redirdev bus="usb" type="spicevmc">
       <address type="usb" bus="0" port="1"/>

Define 'f25' with the changed XML? (y/n): y
Domain 'f25' defined successfully.

[root@ope46 qemu]# virt-xml f25 --confirm --edit --graphics clearxml=yes,type=spice,gl=on,listen=none
WARNING  qemu/libvirt version may not support spice GL
--- Original XML
+++ Altered XML
@@ -86,9 +86,9 @@
     </channel>
     <input type="mouse" bus="ps2"/>
     <input type="keyboard" bus="ps2"/>
-    <graphics type="spice" autoport="yes">
-      <listen type="address"/>
-      <image compression="off"/>
+    <graphics type="spice" autoport="no">
+      <gl enable="yes"/>
+      <listen type="none"/>
     </graphics>
     <sound model="ich6">
       <address type="pci" domain="0x0000" bus="0x00" slot="0x04" function="0x0"/>

Define 'f25' with the changed XML? (y/n): y
Domain 'f25' defined successfully.
[root@ope46 qemu]# 

I don't know if the WARNING above is a generic one or if it makes any pre-check to system...
Anyway both from vrt-manager and virsh I get error 

[root@ope46 qemu]# virsh start f25
error: Failed to start domain f25
error: internal error: process exited while connecting to monitor: 2016-12-13T11:18:37.784324Z qemu-system-x86_64: egl: no drm render node available
2016-12-13T11:18:37.784375Z qemu-system-x86_64: Failed to initialize EGL render node for SPICE GL

[root@ope46 qemu]# 



and this in /var/log/libvirt/qemu/f25.log:

2016-12-13 11:18:37.584+0000: starting up libvirt version: 2.2.0, package: 2.fc25 (Fedora Project, 2
016-11-14-21:04:29, buildvm-25.phx2.fedoraproject.org), qemu version: 2.7.0(qemu-2.7.0-7.fc25), host
name: ope46.ceda.polimi.it
LC_ALL=C PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin QEMU_AUDIO_DRV=spice /usr/bin/qemu-k
vm -name guest=f25,debug-threads=on -S -object secret,id=masterKey0,format=raw,file=/var/lib/libvirt
/qemu/domain-2-f25/master-key.aes -machine pc-i440fx-2.6,accel=kvm,usb=off,vmport=off -cpu Nehalem -
m 4096 -realtime mlock=off -smp 1,sockets=1,cores=1,threads=1 -uuid d4c23620-b805-4656-9b97-d9d4ab9d
ba63 -no-user-config -nodefaults -chardev socket,id=charmonitor,path=/var/lib/libvirt/qemu/domain-2-
f25/monitor.sock,server,nowait -mon chardev=charmonitor,id=monitor,mode=control -rtc base=utc,driftfix=slew -global kvm-pit.lost_tick_policy=discard -no-hpet -no-shutdown -global PIIX4_PM.disable_s3=1 -global PIIX4_PM.disable_s4=1 -boot strict=on -device ich9-usb-ehci1,id=usb,bus=pci.0,addr=0x6.0x7 -device ich9-usb-uhci1,masterbus=usb.0,firstport=0,bus=pci.0,multifunction=on,addr=0x6 -device ich9-usb-uhci2,masterbus=usb.0,firstport=2,bus=pci.0,addr=0x6.0x1 -device ich9-usb-uhci3,masterbus=usb.0,firstport=4,bus=pci.0,addr=0x6.0x2 -device virtio-scsi-pci,id=scsi0,bus=pci.0,addr=0x8 -device virtio-serial-pci,id=virtio-serial0,bus=pci.0,addr=0x5 -drive if=none,id=drive-ide0-0-0,readonly=on -device ide-cd,bus=ide.0,unit=0,drive=drive-ide0-0-0,id=ide0-0-0,bootindex=1 -drive file=/var/lib/libvirt/images/f25.qcow2,format=qcow2,if=none,id=drive-scsi0-0-0-0 -device scsi-hd,bus=scsi0.0,channel=0,scsi-id=0,lun=0,drive=drive-scsi0-0-0-0,id=scsi0-0-0-0,bootindex=2 -netdev tap,fd=26,id=hostnet0 -device rtl8139,netdev=hostnet0,id=net0,mac=52:54:00:17:49:49,bus=pci.0,addr=0x3 -chardev pty,id=charserial0 -device isa-serial,chardev=charserial0,id=serial0 -chardev spicevmc,id=charchannel0,name=vdagent -device virtserialport,bus=virtio-serial0.0,nr=1,chardev=charchannel0,id=channel0,name=com.redhat.spice.0 -spice port=0,disable-ticketing,gl=on,seamless-migration=on -device virtio-vga,id=video0,virgl=on,bus=pci.0,addr=0x2 -device intel-hda,id=sound0,bus=pci.0,addr=0x4 -device hda-duplex,id=sound0-codec0,bus=sound0.0,cad=0 -chardev spicevmc,id=charredir0,name=usbredir -device usb-redir,chardev=charredir0,id=redir0,bus=usb.0,port=1 -chardev spicevmc,id=charredir1,name=usbredir -device usb-redir,chardev=charredir1,id=redir1,bus=usb.0,port=2 -device virtio-balloon-pci,id=balloon0,bus=pci.0,addr=0x7 -msg timestamp=on
char device redirected to /dev/pts/1 (label charserial0)
2016-12-13T11:18:37.784324Z qemu-system-x86_64: egl: no drm render node available
2016-12-13T11:18:37.784375Z qemu-system-x86_64: Failed to initialize EGL render node for SPICE GL
2016-12-13 11:18:37.891+0000: shutting down

What can I check? Any pre-requisite in laptop video adapter or other?

Thanks in advance,
Gialuca