On Thu, 2006-05-04 at 12:36 +0200, Jos Vos wrote: > Hi, > > Today I saw that installing "xen" does not automatically pull in > kernel-xen0. Shouldn't that ideally be the case? why would a userspace optional thing force a xen kernel?