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                : 1134818752
virt_caps              : hvm
total_memory           : 6880
free_memory            : 6068
cpu_topology           : 
cpu:    core    socket     node
  0:       0        0        0
numa_info              : none
xen_major              : 4
xen_minor              : 1
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          : Wed Apr 14 13:35:05 2010 +0100 21173:ecdc14634425
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 15:32:42 CEST 2010
xend_config_format     : 4