Re: [PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-09 Thread Bertrand Marquis
Hi Stefano, > On 9 Oct 2020, at 17:33, Stefano Stabellini wrote: > > On Fri, 9 Oct 2020, Bertrand Marquis wrote: >>> On 8 Oct 2020, at 19:27, Stefano Stabellini wrote: >>> >>> On Thu, 8 Oct 2020, Bertrand Marquis wrote: > On 7 Oct 2020, at 23:38, Stefano Stabellini > wrote: > >>

Re: [PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-09 Thread Stefano Stabellini
On Fri, 9 Oct 2020, Bertrand Marquis wrote: > > On 8 Oct 2020, at 19:27, Stefano Stabellini wrote: > > > > On Thu, 8 Oct 2020, Bertrand Marquis wrote: > >>> On 7 Oct 2020, at 23:38, Stefano Stabellini > >>> wrote: > >>> > >>> The preferred method to reboot RPi4 is PSCI. If it is not available,

Re: [PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-09 Thread Bertrand Marquis
> On 8 Oct 2020, at 19:27, Stefano Stabellini wrote: > > On Thu, 8 Oct 2020, Bertrand Marquis wrote: >>> On 7 Oct 2020, at 23:38, Stefano Stabellini wrote: >>> >>> The preferred method to reboot RPi4 is PSCI. If it is not available, >>> touching the watchdog is required to be able to reboot

Re: [PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-08 Thread Roman Shaposhnik
On Thu, Oct 8, 2020 at 12:58 AM Bertrand Marquis wrote: > > > > > On 7 Oct 2020, at 23:38, Stefano Stabellini wrote: > > > > The preferred method to reboot RPi4 is PSCI. If it is not available, > > touching the watchdog is required to be able to reboot the board. > > > > The implementation is bas

Re: [PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-08 Thread Stefano Stabellini
On Thu, 8 Oct 2020, Bertrand Marquis wrote: > > On 7 Oct 2020, at 23:38, Stefano Stabellini wrote: > > > > The preferred method to reboot RPi4 is PSCI. If it is not available, > > touching the watchdog is required to be able to reboot the board. > > > > The implementation is based on > > drivers

Re: [PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-08 Thread Bertrand Marquis
> On 7 Oct 2020, at 23:38, Stefano Stabellini wrote: > > The preferred method to reboot RPi4 is PSCI. If it is not available, > touching the watchdog is required to be able to reboot the board. > > The implementation is based on > drivers/watchdog/bcm2835_wdt.c:__bcm2835_restart in Linux v5.9

[PATCH v3] xen/rpi4: implement watchdog-based reset

2020-10-07 Thread Stefano Stabellini
The preferred method to reboot RPi4 is PSCI. If it is not available, touching the watchdog is required to be able to reboot the board. The implementation is based on drivers/watchdog/bcm2835_wdt.c:__bcm2835_restart in Linux v5.9-rc7. Signed-off-by: Stefano Stabellini Acked-by: Julien Grall CC: