host                   : serveerstertje
release                : 2.6.31.13
version                : #3 SMP Fri Apr 16 15:40:16 CEST 2010
machine                : x86_64
nr_cpus                : 2
nr_nodes               : 1
cores_per_socket       : 2
threads_per_core       : 1
cpu_mhz                : 2500
hw_caps                : 178bf3ff:ebd3fbff:00000000:00000010:00002001:00000000:0000011f:00000000
virt_caps              : hvm
total_memory           : 6881
free_memory            : 2995
node_to_cpu            : node0:0-1
node_to_memory         : node0:2995
node_to_dma32_mem      : node0:2731
max_node_id            : 0
xen_major              : 4
xen_minor              : 0
xen_extra              : .1-rc1-pre
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          : Mon Apr 12 18:29:36 2010 +0100 21107:11010cf627c8
xen_commandline        : dom0_mem=768M loglvl=all loglvl_guest=all
cc_compiler            : gcc version 4.3.2 (Debian 4.3.2-1.1) 
cc_compile_by          : root
cc_compile_domain      : 
cc_compile_date        : Fri Apr 16 16:39:44 CEST 2010
xend_config_format     : 4