>>> On 08.01.16 at 17:13, <jgr...@suse.com> wrote: > I think there should be an ASSERT (or some other measure) to > ensure the default scheduler is available.
Indeed I was about to say exactly this. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
