host                   : intel-core-i5-4430-desktop
release                : 3.10.0-xen-teo.en.ming-sgp
version                : #1 SMP Sat Jul 13 00:07:55 SGT 2013
machine                : x86_64
nr_cpus                : 4
max_cpu_id             : 3
nr_nodes               : 1
cores_per_socket       : 4
threads_per_core       : 1
cpu_mhz                : 2999
hw_caps                : bfebfbff:2c100800:00000000:00007f00:77fafbbf:00000000:00000021:000027ab
virt_caps              : hvm hvm_directio
total_memory           : 32427
free_memory            : 127
sharing_freed_memory   : 0
sharing_used_memory    : 0
outstanding_claims     : 0
free_cpus              : 0
xen_major              : 4
xen_minor              : 4
xen_extra              : -unstable
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          : Tue Jul 02 08:50:41 2013 +0200 hg:7e1fa53c3dd0
xen_commandline        : placeholder
cc_compiler            : gcc (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3
cc_compile_by          : root
cc_compile_domain      : 
cc_compile_date        : Sun Jul 14 16:25:10 SGT 2013
xend_config_format     : 4