>>> On 08.01.16 at 17:13, <[email protected]> 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
[email protected]
http://lists.xen.org/xen-devel

Reply via email to