On Thu, 2015-11-26 at 12:13 +, David Scott wrote:
> > On 26 Nov 2015, at 12:11, Wei Liu wrote:
> >
> > Dave, ping?
>
> Sorry, completely forgot about this email.
>
> Looks totally fine to me!
>
> Acked-by: David Scott
Applied, thanks.
___
Xen
> On 26 Nov 2015, at 12:11, Wei Liu wrote:
>
> Dave, ping?
Sorry, completely forgot about this email.
Looks totally fine to me!
Acked-by: David Scott
Cheers,
Dave
>
> On Mon, Nov 16, 2015 at 12:43:19PM +, Wei Liu wrote:
>> According to public/sched.h, there is a new shutdown_reason ca
Dave, ping?
On Mon, Nov 16, 2015 at 12:43:19PM +, Wei Liu wrote:
> According to public/sched.h, there is a new shutdown_reason called
> soft_reset. Propagate that value to ocaml.
>
> Signed-off-by: Wei Liu
> ---
> Cc: David Scott
> Cc: Ian Jackson
> Cc: Stefano Stabellini
> Cc: Ian Campbe
