host                   : intel-core-i5-4430-desktop
release                : 3.10.3-xen-teo.en.ming-sgp
version                : #1 SMP Mon Jul 29 01:24:58 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
free_cpus              : 0
xen_major              : 4
xen_minor              : 3
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          : Thu Feb 28 09:22:41 2013 +0100 26666:94ece33caae2
xen_commandline        : placeholder
cc_compiler            : gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
cc_compile_by          : teo-en-ming
cc_compile_domain      :
cc_compile_date        : Thu Aug  1 02:23:39 SGT 2013
xend_config_format     : 4