[Skiboot] [PATCH 3/3] ipmi/wdt: Add ipmi watchdog timer support

[Jeremy Kerr]

Hi Ben,

> Bah, petitboot kernel will start it and that's it, once it's started,
> it's started and if we kexec something tat doesn't support it we are
> toast anyway

My plan is to have petitboot disable the watchdog timer just before
kexec. This way, we don't export this "ABI" beyond the petitboot
environment, which we'd have control of anyway.

The OS kernel can re-enable it if necessary, but isn't required to.

Cheers,


Jeremy