Debian GNU/Linux 7.4
domU kernel 3.2.55