Re: default, xen oder bigsmp?