Linux xen 2.6.24-24-xen #1 SMP Thu May 7 09:38:58 CEST 2009 x86_64 GNU/Linux