Comment 6 for bug 1030002

root@xen:/etc/xen# lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 13.04
Release: 13.04
Codename: raring

root@xen:/etc/xen# uname -a
Linux xen 3.8.0-28-generic #41-Ubuntu SMP Fri Jul 26 16:26:01 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux

root@xen:/etc/xen# lsmod |grep xen
xen_blkback 26998 0
xen_gntdev 17403 1
xen_evtchn 13132 1
xenfs 12985 1
xen_privcmd 13177 15 xenfs