The text 8b9993f2c724, as Debian 7 (Wheezy) shipped it.
Xen daemon configuration file
xend-config.sxp(5) on Linux now
