host                   : g33k
release                : 3.2.0-1-amd64
version                : #1 SMP Fri Feb 17 05:17:36 UTC 2012
machine                : x86_64
nr_cpus                : 8
nr_nodes               : 1
cores_per_socket       : 4
threads_per_core       : 2
cpu_mhz                : 3207
hw_caps                : bfebfbff:28100800:00000000:00003b40:0098e3bd:00000000:00000001:00000000
virt_caps              : hvm
total_memory           : 16375
free_memory            : 1161
free_cpus              : 0
xen_major              : 4
xen_minor              : 1
xen_extra              : .2
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          : unavailable
xen_commandline        : placeholder iommu_inclusive_mapping=1 iommu=verbose iommu=workaround_bios_bug
cc_compiler            : gcc version 4.6.2 (Debian 4.6.2-6) 
cc_compile_by          : waldi
cc_compile_domain      : debian.org
cc_compile_date        : Sat Dec 10 19:58:21 UTC 2011
xend_config_format     : 4