host                   : debian
release                : 3.18.0-rc2-custom
version                : #1 SMP Tue Oct 28 22:41:21 CET 2014
machine                : x86_64
nr_cpus                : 4
max_cpu_id             : 3
nr_nodes               : 1
cores_per_socket       : 2
threads_per_core       : 2
cpu_mhz                : 2394
hw_caps                : bfebfbff:28100800:00000000:00003f00:029ae3ff:00000000:00000001:00000000
virt_caps              : hvm hvm_directio
total_memory           : 3891
free_memory            : 318
sharing_freed_memory   : 0
sharing_used_memory    : 0
outstanding_claims     : 0
free_cpus              : 0
xen_major              : 4
xen_minor              : 5
xen_extra              : .0-rc
xen_version            : 4.5.0-rc
xen_caps               : xen-3.0-x86_64 xen-3.0-x86_32p hvm-3.0-x86_32 hvm-3.0-x86_32p hvm-3.0-x86_64 
xen_scheduler          : credit
xen_pagesize           : 4096
platform_params        : virt_start=0xffff800000000000
xen_changeset          : Fri Oct 24 16:00:00 2014 +0100 git:6688825
xen_commandline        : placeholder iommu=pv
cc_compiler            : gcc (Debian 4.9.1-16) 4.9.1
cc_compile_by          : root
cc_compile_domain      : 
cc_compile_date        : Tue Oct 28 23:00:39 CET 2014
xend_config_format     : 4